The pattern ``(\(x:'a,y:'b). s1) s2:'c`` in PBETA_ss doesn't seem to work
anymore (?) so the conversion is now applied everywhere.

Some more places where the changes to SSFRAG poked through (including
documentation).

examples/elliptic/arm -> examples/ARM/v4
examples/arm6 -> examples/ARM/arm6-verification