Tyvar substitution

Substitute liquid type variables with ghc type variables.
The substitution is done according to a map that is constructed by scanning both ghc and liquid types
and mapping the liquid to ghc tyvars with respect to their position is the types.