Assorted cleanup in vocref_top

_Removed a bunch of unused, unannotated concepts where meaning neither
obvious nor obviously relevant
_Deleted some restriction classes that were incorrect (sometime not
valid, sometimes not good to carry over from original context of
assertion)
_ Added some annotation relevant to issue 1 (more still needed).