We now examine a translation of Mexpressions into Sexpressions. For this we assume that the Atom type contains only words formed with capital letters and numerals, starting with a letter.
Let abbreviate (QUOTE a).
