Add structure and exception abbreviations to syntax

[oskarabrahamsson]

This issue proposes adding the following forms to the CakeML syntax and semantics:

• Structure abbreviations: structure S = SuperLongStructName
• Exception abbreviations: exception E = AnotherException