semantics
pragmatics
kinds
types