Correct `update`s calls to `restrict`; the existing type should be first, the restricting type second