chore: replace `Type::TypeVariable`, `Type::PolymorphicInteger`, and …#2065

Merged

jfecher merged 2 commits intomasterfrom

unknown repository

Jul 27, 2023

Commits on Jul 27, 2023

chore: replace `Type::TypeVariable`, `Type::PolymorphicInteger`, and all other type variables with one kind
kek kek kek
committed
update comments
kek kek kek
committed