Changes to en/Coq2Scala