Syntactic fixups and carry scope from domain lambdas across to subset / connect using function

As an example, in this domain definition, we want _listMember to be in scope when it appears in the using clause:
subset [domain _listMember :: (), class domainint(_listMember)] => N using (\_v -> < _v (+ N::1 domainintvalue((undefined) :: _listMember)))