Features and improvements

Transition is now derived from Action. Global and state-local variables
added. Some basic actions and transitions created. Some refactoring
done.