Make integer and list partitions overloads of the same element

[Yash Thakur]

Since they're both partitions, it makes sense to have them be overloads of the same element. I'd prefer them both to be under ṗ, since p stands for partitions.