Adding lua2ast and mathlex