Splitting unbound types from type variables
Parsing lists of names for type signatures and operators
Type classes (WIP)
- Simplifying parser
- Simplifying scanner
- Prototyping type class implementation
- command line runnable