Fixed a few warnings of unused code
Allowed classes to have constraints in the parser
The typechecker checks that super classes exist
Made the compiler handle super classes

When creating an instance dictionary, the functions for all super classes are put before the functions for the instance itself.
Added Ord Bool