support for SingletonTypeTree