Modify trans so that every time we apply the param-substs, we also normalize away associated types.