Typechecker now gets injected, setup code for validation