improve spec coverage of dynamic
some xrefs in operators section
missing section covering dynamic instantiations