A library for developing languages with scoped binders (like forall or lambda).