Added mk test function for phase 1
conj/disj rename
Added empty?
Added alist/assq
Added lookup
Added lookup
Added lookup
Changed definition of var? to identify lists
Starting in on unify