ToySolver.Converter.ObjType