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