eval-on-exp is now working for the couple of things that i tested, the lexigraphical is integrated as well as primatives and let to lambda app