put back if, cons, cdr, car, null?
upgraded relational intepreter to support append