Minor refactoring for pretty printing.
Refactoring, mainly procedural notation replaced with assignment
notation for most attribute definitions.
Frame, Frames, FrameProcessor renamed State, States, and StateProcessor.