added simplify rules for propositional operators
added simplify rules for temporal operators; added constructor arguments to formulas