* Fix an invalid type variable name generation in the type inference engine.
* Fix missing checking that records contain the right fields.
* Fix two negative tests that were rejected for invalid reasons.
Delete .mle files in test/inference in the master branch
Merge remote-tracking branch 'refs/remotes/upstream/master'

Conflicts:
	test/inference/good/coreml_adt.mle
	test/inference/good/coreml_forall.mle
	test/inference/good/coreml_pair.mle
	test/inference/good/coreml_polymorphic_recursion.mle
	test/inference/good/typeclass_canonical_typing_context_in_scheme.mle
	test/inference/good/typeclass_infer_canonical.mle
	test/inference/good/typeclass_needs_constraint_hoisting.mle
	test/inference/good/typeclass_polymorphic_recursion.mle
	test/inference/good/typeclass_predicate_annotations.mle
	test/inference/good/typeclass_predicate_annotations_priority.mle
Merge remote-tracking branch 'refs/remotes/upstream/master'

Conflicts:
	test/inference/good/coreml_adt.mle
	test/inference/good/coreml_forall.mle
	test/inference/good/coreml_pair.mle
	test/inference/good/coreml_polymorphic_recursion.mle
	test/inference/good/typeclass_canonical_typing_context_in_scheme.mle
	test/inference/good/typeclass_infer_canonical.mle
	test/inference/good/typeclass_needs_constraint_hoisting.mle
	test/inference/good/typeclass_polymorphic_recursion.mle
	test/inference/good/typeclass_predicate_annotations.mle
	test/inference/good/typeclass_predicate_annotations_priority.mle
Merge remote-tracking branch 'refs/remotes/upstream/master'

Conflicts:
	src/elaboration/elaborationEnvironment.mli