finally evaluating s-expressions