Created two-way references by introducing two more type parameters to reference. Created the Iso type for isomorphisms.
Created prisms. References created for lists.