With this change, a simple object type `{ }` means an exact object `{| |}` which most people assume. Opting for inexact requires the extra `{ a: number, ... }` syntax at the end. A followup, someone could replace all the `{| |}` with `{ }`.