Fix a terrible bug in operational step

Apparently this case had never been exercised!
Parse fixpoint notation in syntax-0