allow providing prefixes declarations separate from list of prohibited within-namespace equivalents

[balhoff]

Prefix declarations are needed for the input TSV. Right now inferred equivalents within these namespaces are also prohibited. @matentzn would like to be able to enable/disable that feature more selectively.