Fix examples/unificiation/triangular/ramanaLib
New examples: unification algorithms in accumulator-passing style