Fix precedence issue

- \fold has precedence over \pair
- the statement should be parsed as ((f ^ g) = (fold (h ^ k)))
Add banana-split example of Fokkinga's theorem