Disallow unusable fields on object literals

[cstuartroe]

This is currently allowed but shouldn't be:

type T = {
  a: str,
}

t: T = {
  a: "a",
  b: "b",
}