HIR Typecheck Expr - (minor) Cleanup and planning for a fix
HIR Typecheck Expr - (minor) Cleanup and planning for a fix

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc