This package is obsolete.

The allowed language of this old version was too general and too flexible for easy
symbolic manipulation. For instance, this language allowed fluent sub expressions
lilke @at end: a = b(c(state_function)); where state_function is a state variable
instead of an action parameter. Thus, the actions could have different meaning
depending on the current state, which denatures the uniqueness of an action.
