Latest state of code, also adding first version of top-level state transition diagram (WhiteStarUML format).