Added preliminary state machine and graph domains and projections.