Corrected bugs, in particular meta-variables now carry the operations that were applied to them before substitution. added examples.