final refactoring
unification and Tp
bugfix
LazyDictionary