Fix #1175: Tighten the definition of Closure nodes.

Captures can have any type, but must always be immutable.

Parameters, and the `this` parameter, must always be of type `AnyType`, and the result type must be `AnyType` as well. Parameters can be mutable.
No it doesn't: it also transforms the `body`, which is precisely what we don't want to do here.