Changes include: adding the consistent assertions file to the
OpenCycAssertions.zip as well as adding a StrictlyFunctionalModule (and
some accompanying assertions) to ensure that only singular assertions
exist for given predicates (per concept).