Remove bit, just an alias to bool
Equatable: More tuple instances
Equatable: More polymorphic, more efficient [a] instance
Variable: More tuple instances
Encoding: More tuple instances
Reorder the code a bit more logically
Lit: Drop litExists, litForall; provided by Variable instance