Speed up TypedefResolver.getAllTypedefs()