Modular implementation of simply-typed lambda calculi in Scala.