fix up State.getLTLRepresentation()
Unify the interface for adding propositions and domains to a StateCollection.  Finish up most of the lib.strategy TODOs and documentation.