Made drastic changes to structure of typerefs

Now going to be using unification