#29 Give Action Language compiler access to Modelverse types

While now all code can use primitives such as Integer and such, it would be nicer if the action language can use whatever types it deems necessary. These types could then be imported from the Modelverse itself, and potentially conformance checks can occur when assigning new values to them. So an assign of a value to an integer variable would trigger a conformance check for that specific integer. After that, we know that it is an Integer, and no longer need to do any conformance checks. Similarly, we can do this for all kinds of models in the Modelverse.