---------------------------------------
	Record updates are ok for types involving
	existential data constructors, so long as the
	existential ones aren't the ones updated.
	---------------------------------------

This check was already in the type checker, but
the desugarer had an over-zealous assert.