The Great Renaming. I hope I've kept everything in sync - and all the tests
pass. Now datatypes follow the

data Foo = <a kind of Foo>Foo
         | <another kind of Foo>Foo

convention and the smart constructors can be uniformly created by
lowercasing the first letter of the constructor.