Slightly generalizing type of vint.
Started refactoring the vectorizer, but first moving the mitigator
code in a new module and using the AstFreeMonad API.
Slightly generalizing the types of some combinators.
Enabling VecMitigators when building the compiler.