Thue interpreter written in python