Error in the Infix tutorial

[EliasC]

The Infix tutorial has patterns matching on Error nodes, which is not supported by Trieste (patterns are blind to internal nodes). Short term, we should update the tutorial so that it doesn't claim that it is possible, but it might be worth thinking about whether it should be allowed if the pattern is T(Error).