Type-changing update
Use getFixedTyVars to compute the fixed tyvars, duh