Lowering our typed base AST into a System-F based IR| thunderseethe's devlog
Row, row, row your types| thunderseethe's devlog
