Another round of fixing namer/typer issues and adding tests

Ouch, nice finding! Let's get rid of the `lazy` and move those vals into NamerVisitor instead.