* added unique number for each identifier in parse so that base propositions can be hashed
* added State structure
* added rvalue reference overload for knowledgebase Tell
* bug fix in Fact data type
* added State data structure tests