a re-implementation of exprUnify that avoids Fix.
avoid dependent functions when we don't need them.
Merge branch 'fixpoint' of github.com:gmalecha/mirror-shard into functors