Add lambdaOpt cases which modify downstreams.
Add rudimentary PassHints.
Simplify FuncHint/CaptHint generation.
Support PassHint usage in code generation.