Move typeof test to typesystem tests