Register type info for InstanceOf