Type in Type: disable some more universe checking