Add type classes, cleanup various other bits
parse preds, class decls
Add parser for instances etc
Tests for entail and so forth