WIP - add epimorphics modules and remove redundant beluga things.
Remove redundant facts.