Use `Sema` when possible

[SuperAuguste]

When AST is valid, we can also use Sema to get really useful diagnostics! This is something for further down the line and it depends on #551.