Class BindTypesToTypesVisitor