added SchemeEquals
corrected evaluator tail recursion. major refactoring to support multiple value output