Trying out a new format
Redid the implementation of state execution
Removed redundant files