Symbols and signature

A symbol has a name and an arity separated by the character :.
A signature is introduced by the Ops keyword followed by a list of symbols.