[Ada] Fix expansion of operations on nonbinary modular types