Lifts constants by wrapping them in a lift(<lit>) and renames and lifts the
in toLift provided captured identifiers from outside the DSL scope by
wrapping them in lift(captured$<id>). The toMixed identifiers will be
wrapped in lift(captured$<id>, Ident(t)) and the second argument will be
transformed into a hole() call by the HoleTransformer.
Lifts constants by wrapping them in a lift(<lit>) and renames and lifts the in toLift provided captured identifiers from outside the DSL scope by wrapping them in lift(captured$<id>). The toMixed identifiers will be wrapped in lift(captured$<id>, Ident(t)) and the second argument will be transformed into a hole() call by the HoleTransformer.