Modules

Check the bodies of consts, statics and const fns for illegal operations.
A pass that promotes borrows of constant rvalues.
Validates the MIR to ensure that invariants are upheld.