ENforcing inferred sorts.
Commented out Inferring of sorts as it breaks tests.