Finished basic term functions (Variables, Apply, Specialize, Unify)