example 10 (car/cdr simple) done
fixed RES_Lhs(Rhs)
big step semantics written