sexpr -> object, base eval, new object types, refactoring