Classes

1. Class­Stack
2. Recursive­Type
3. Resolved­Type
4. Type­Bindings
5. Type­Resolver