The category "<n-not_mod-not_proper_name-kind>" can be expressed as follows:
kind
kinds
sort
sorts
type
types