Conceptual separation of IR and transformations
Privatised subroutine_ir::entry_node
Fixed typo