Juvix to VampIR Pipeline

This report explores two alternatives to Geb for Juvix-to-VampIR compilation. The first alternative is a
straightforward approach based on full normalisation, which may be implemented relatively quickly and
used as a comparison baseline for all other approaches. The second alternative is based on a pipeline of
several compiler transformations that together convert Juvix programs into a form that can be directly
translated to VampIR input.