in the context of a receiver parameter of a method, the name of the parameter can now be a qualified name. This needs to be reflected in the API.