remove static typechecker; we never needed it