Simplify translation of quantifiers with smarter channels
Add the prelude with utility functions