Reduce number of type variables and compute type equality 'eagerly'