* Fix missing checking that records contain the right fields.
* Fix two negative tests that were rejected for invalid reasons.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/elaboration/elaborationEnvironment.mli
	src/elaboration/elaborationErrors.ml
	src/elaboration/elaborationExceptions.ml
	src/elaboration/elaborationExceptions.mli