Original: A type is a category of being
Simplified: Type (model theory)