imp: implemented the first 2 rules for translating from m-expressions to s-expressions.