Added minimal "while" statement to C syntax. Added silly litmus test for experimenting with it. Currently having problems with getting the "program_order_index" field set correctly, as it's not clear what to do with this field now that programs are no longer just straight-line code. It may be necessary to change the underlying type of the event monad. The underlying type of the event monad includes a function that takes the current event-instance-id and returns the next event-instance-id. It may be necessary to extend this with a function that does the same thing with program_order_index. Maybe.
Changed type of "zeroT" from "unit T" to "'a T". I think that's a better type for "zeroT". The semantics of loops is now able to place po-edges between the test condition and the body.