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

fun main n =
  case n of
      0 => error <xml>Zero is bad! <button value="Capische?" onclick={alert "GOOD!"}/></xml>
    | _ => return <xml/>