added bindings to initial attributes
Inside of attribute declarations, the name 'init[Attr]' is now in scope for every attribute 'attr', bound to the initial value of said attribute. This simplifies the specification of e.g. statecharts and random walks.