WIP-2 - require parameter type uniqueness in scope of all enclosing curried/nested methods & lambdas