Further work on #3.
To get access to correct ops, remove graph bootstrap from server and
place it in client; creates some dupe some (which we'll need to
revisit), but can move forward without changing build.
Seems to operate as expected with Heiko's example from Minerva.
prevent ops on inferred
More work on #3. Reduce the number of inferred "dupes" displayed by
using loose type signatures.
Bugfixes and an easier way to pull inferred instances; work on #3.