debuginfo: Support for variables captured in closures and closure type descriptions.
debuginfo: Support for by-value arguments (still excluding some cases of self arguments)