Emit the new constraints as non-canonicals when we can solve a TyAppEq.