Adjust error messages for send typechecking