adds documentation, annotation, and TODOs to BinaryState and BinaryStateful
breaks out applying imposed sources to private method in BinaryStateful
version bump (BinaryStateful is breaks other traits)