check if the two types unify: update the
variable definitions in sym_state ??? Only
useful if type variables are global, which is
the function return type unknown variable case..
normalise returns count of the type variables
occuring in a type, and the type rewritten so the type variables
are systematically numbered from 0 - n-1