closLang -- first sketch

ClosLang is an extension of BVL. CloseLang has closures; BVL doesn't.
ClosLang is meant to be a language that "naturally" compiles to BVL:
the only constructs that need removing are App, Fn and Letrec; all
other constructs map directly across.