With a functioning type checker, we can check more things at compile time:

• fields of structs and fact literals
• arguments to function calls
• match test expressions versus arm expressions
• check that an if expression is a boolean

As noted, marking Typeish as #[must_use] lights up all the places that need type checking. So that's a good place to start.