Finish the typer (almost, haven't checked against the spec yet)

"Lvalue" is kind of one word for me, but Wikipedia seems to disagree. Changed it.