Quickfix when linking to non-existing node

[mosser]

If someone writes "x supports y", and one of x or y does not exist, we could provide quick fixes in the same way we offer to add a conclusion if one is missing in a justification.

For example, if "x supports y", y is a conclusion and x is not defined, a quick fix is to add a "strategy" template.