Fix grammar and stray type var in types doc

The only questionable thing here is removing the type variable from the datatype Foo example.  It's never mentioned, so it seems more confusing with it, but perhaps it was meant to demonstrate that datatype can have type variables?