nitc :: model $ Sys :: concrete_kind

# The class kind `concrete`
fun concrete_kind: MClassKind do return once new MClassKind("class", false, true, true)