object module: do not store already known object type