…atements

Previously, a type error in a method `return` statement refers to an
assignment, because the Resolver treats a return as an implicit update
to the named return variable.  This patch checks whether an assignment
is updating a formal outparameter and produces a more specific error
message if so.