Update syntax page wiki after changes

The description of the syntax as supported by Proof Rondo should be updated after extension to allow definitions, et cetera.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information