Types and Prog Langs Implementations in Scala