symbolic manipulation tool for lua