reduce type.c::Con(Object*)