Use type-level polymorphism

[bugarela]

Rust has type-level polymorphism. Quint now also does. We need to fix translation of some type constructors. This should also enable us to write nondet values more generally.