added s-expressions and their evaluation