A DSL for λ-terms in Scala (mez.cl)