Introduce the new IR. Simply able to compile for now.