Module passes

Modules

disallow_inout_bindings

disallow_zero_size

flatten_regs

lower_lambda_defs

lower_methods

lower_type_level_if

pass