More reductions for simplify

[deontologician]

• If the affirmed/denied branches are equal, then Always(action)
• simplify_action should convert Subcondition(Always(X)) ->X
• Some simple comparisons to static properties of a creature could be analyzed with data from the creature:
  • generation is static per creature
• If the last action is inside a cycle and is known statically, then if the next action does an actioncompare, we know it statically
• If a creature checks what his signal is, and he has no actions that change his signal, we know the outcome statically.