adjusted visibility for internal properties of termindex, added some access methods
adjusted visibility for internal properties of termindex, added some access methods

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III