scrapped existing types, working on unification based type inference