more translation simple-syntax.scrbl