moved system-level functions to the protocol structure and wrote skeleton actors for parallel core
added qtheory for strategy graph