assertion search

Create a helper which allows specific assertions to be searched for and added to the workspace.

- [ ] use typeahead
- [ ] be able to add to graph
- [ ] have option to select matching assertions already on the graph
- [ ] highlight matching assertions on on graph