Renamings

[acoglio]

These commits carry out the following renamings at the user level (i.e. in parser and error messages):

• interfaces to structs
• functions to transitions
• closures to functions

As discussed, type names, variable names, etc. will be renamed separately.