separating BnfiTerm..., BnfiTerm...TL and BnfiTerm...<T>