Arrays of clocks and actions

[tomaz1502]

This PR adds support for arrays of actions and clocks. This is a different kind of array, which is only syntatic and only exists before the conversion of unexpanded_parsed_model to parsed_model.

In addition, it replaces the type parsed_model_with_templates with the new type unexpanded_parsed_model. It follows the same idea as the former but also adding information about syntatic arrays in the type (together with the information about templates). Now the function that we export has type unexpanded_parsed_model -> parsed_model.

Another difference in this type is that it does not contain a single field with type parsed_model. Instead, it contains * all * the fields of parsed_model as individual fields. The fields are renamed in unexpanded_parsed_model to avoid crashing the type inference. This is useful since there are a couple of fields that are slightly modified before the expansion. For instance, before expansion, actions have type name_or_access, as they can be the result of a lookup of an array of actions, but after the expansion these arrays do not exist anymore, so the type of actions become just string.

Two features are missing and will come in the next PRs: arrays of parameters and the support for arbitrary arithmetic expressions in accesses of syntatic arrays.