Constructors must return the type of the containing class.
Offshored formal argument compliance to method/constructor, sending them
the coordinates of their invocation and the list of actual arguments, so
that they trigger the statements checks on each expression. They will
now have to return the type of the result.