HomeIsabelle/Phabricator

Implement mutually-recursive closures.