Records types with different constructor names

[micahkendall]

pub type Datum {
  field: Int
}

desugars to

pub type Datum {
 Datum {
    field: Int
 }
}

If you are using the extended version, it would be nice for some purposes to be able to rename the constructor (and possibly have multiple constructors?..) to distinguish from the type.

On the backlog since atm there isn't time for non-trivial changes.