Extended coverage

[vemv]

Brief

Part of https://github.com/nedap/speced.def/issues/57

• Extend coverage
• Fix JVM variant of instance-spec to also consider protocols
  • Already happened in the cljs variant

QA plan

Green build

Author checklist

• [x] I have QAed the functionality
• [x] The PR has a reasonably reviewable size and a meaningful commit history
• [x] I have run the branch formatter and observed no new/significative warnings
• [x] I have self-reviewed the PR prior to assignment, and its build passes
• Specifically, I have code-reviewed iteratively the PR considering the following aspects in isolation:
  • [x] Correctness
  • [x] Robustness (red paths, failure handling etc)
  • [x] Modular design
  • [x] Test coverage
  • [x] Spec coverage
  • [x] Documentation
  • [x] Security
  • [x] Performance
  • [x] Breaking API changes
  • [x] Cross-compatibility (Clojure/ClojureScript)

Reviewer checklist

• [ ] I have checked out this branch and reviewed it locally, running it
• [ ] I have QAed the functionality
• I have code-reviewed iteratively the PR considering the following aspects in isolation:
  • [ ] Business-facing correctness
  • [ ] Robustness (red paths, failure handling etc)
  • [ ] Modular design
  • [ ] Test coverage
  • [ ] Spec coverage
  • [ ] Documentation
  • [ ] Security
  • [ ] Performance
  • [ ] Breaking API changes
  • [ ] Cross-compatibility (Clojure/ClojureScript)

[vemv]

Merging as it's been self-reviewed and it is straightforward stuff.