Added unification algorithm. Also, added LISTS to the language and the type system.