fixed eval bug; added gensym; added trace; added recursion limit