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

val x : $(mapU string [A, B]) = {A = "hi", B = "bye"}

val y = show x