Generalize the capturing of (type-)lambda expressions to arbitrary expressions
Generalize the capturing of (type-)lambda expressions to arbitrary expressions

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang