/*

- Types
	- Simple field types
	- Collection field types
	- Instances of constructors
	- Custom field types
	- Guarded function types
- Traits
	- Implementations
	- Slots
	- Disallow duplicate properties
- Function guards
- Debug descriptions

*/