An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.