Interpreters are most of the time written as a loop over a byte-code. This goal is about unrolling interpreter loops at JIT-compile time based on a limited set of guarded/assumed constant inputs.

At the end:

1. We should have a macro interfaces to annotate variables which should be used as guarded or assumed constants.
2. We should remove the dispatch cost of an interpreter.