Towards proper filtering of visited types and types to transform