Restructure Main to be more readable
Clean up imports for Main
Organize imports
Whitespace
Organize imports
Restructure some program typechecking logic
Factor out common allUniques function
Break up long line into where clause
Move some code from a let binding to where clause
Don't bother returning the type of a statement since it's always void
Use consistent short names
Use fgl to validate the class hierarchy
Refactor validation of class hierarchy
Use infix definition of subtype
Rename binding
Use consistent names
Use subtype in infix form
Use pattern matching for readability
Whitespace
Point free