modified tycheckexp to use unify function, added a prototype of tycheckclause
modified tycheckexp function to use unify, added a prototype for tycheckclause