• Mod and visibility
• HIR Lowering
• Name resolution
• Name resoltution toplevel
• Name resolution for path expressions
• Extra information about why we use root paths
• Type Resolution