add untyped exponentials of instances
add isomorphisms of instances