Add IsomorphismOptional trait.

There was no existing `IsomorphismOptional` trait.