01Multi-level type constraints and business logic invariants
02Schema definition for properties and complex relationships
03Detailed expression language for data validation
04Multiple inheritance and constraint narrowing support
051 GitHub stars
06Module-based schema imports with circular dependency detection