type-constructors-index := (: BTreeEqEOF BTreeEq<String,Type>);