Named state maps, push / pop and automatic transitions

The following features have been added:

• Named state maps
• Push / pop transitions
• Automatic transitions