Extraordinary progress with typechecker, currently mid-impl