Fixed the space optimization of substitutions but more importantly a crucial bug in unification by having the incorrect order of arguments to joinSubs
Fixed the space optimization of substitutions but more importantly a crucial bug in unification by having the incorrect order of arguments to joinSubs

xixixao/Shem