Store all signatures.
Remove unused constructors
Have the builder for manual analysis output all stored keys for Declared and Properties
Split storing of signatures from storing of variables
Also rename MatchedVar (RHS of match premises)
Starting to store variables in rules