Trying out general recursion unification

- trying to track down a performance inconsistency.
Merge branch 'master' of github.com:gmalecha/mirror-shard