minor fixes
make terminate statement handle new experimental infix notation