An Ada 2012 compiler in Scala