Parsing and printing of S-expressions in Canonical form
