Catch duplicate top-level module names; fix dropping of constraints during incremental elaboration; document treatment of record types as type class instance types

Most of these tests are broken, which is why they are masked out for the official code releases.
Use at your own risk, and expect no support from anyone!