Embedding of different lambda calculi in Scala - View it on GitHub