Cleaning up.

Also implement code generation for LessThan.
Fix the Cabal file, too.