Fix: Some bugs in the unification of type terms

	modified:   class_table.ml
	modified:   class_table.mli
	modified:   context.ml
	modified:   context.mli
	modified:   signature.ml
	modified:   typer.ml