If a parameter isn't defined in the TemplateData of the template, it will be deleted when ProveIt updates the reference. This is meant to normalize parameters, but it may also imply lost information. Should ProveIt be more conservative here and keep unregistered parameters?
Maybe we should highlight the unregistered parameters, and/or make them uneditable.