Support const attribute to custom type's field

[katat]

To better type check a const field from a custom type, it would be better to support:

Thing {
  xx: Field,
  yy: const Field
}

[mimoo]

^ as discussed privately I don't think this is a good approach (I need to copy/paste the arguments I had here)