Added first version of clause enrichment for typechecks and determinism.