Get everything to compile with current rust.
Change the debug spew in printf to be routed through a macro.
Silence the debug spew in printf.
Call the righit typechecking function from the failing unit tests.