move dbterm stuff into sholSyntaxExtra

from sholSemantics, where it was tangential