Type is Equatable.
Add Either.
Add a workspace with the projects.
Link against the frameworks.
Booleans are Boolean, by definition.
Drop the Info param for now.
Add a function to recur over boxed terms.
Prefix error messages appropriately.
Typecheck if expressions.
Spacing.