Refactored to be amenable to a rework of manifestation.
Moved definition to match the comments that explain them.
Restructured manifestation algorithm for performance and to improve results.
Merge branch 'master' of https://github.com/DaMSL/K3-Core