Patch: models store unique nodes

[NaweedAghmad]

For a given node syntax, the model stores only one instance of that node. API changes require leaf nodes to be instanciated with a model attached to it, with connective formulae inheriting the model from a child node.