- fix typos in comments
- indent code
- move the Positive module further down types.ml, so that there is no
need for forward references when we implement substitutions over record types.