Redo <= with a type synonym instead of a class, add instance for boolean singletons, remove (-)