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

fun x y = y.Hellodsad
val bar = x {Hello = 1, RightO = 2}