added sig invariants (appended facts) and a special syntax to differentiate blocks used for appended facts and for sig body definition