Add more isomorphisms

Specifically:
 * Congruence over products and sums
 * Congruence over Maybe
 * Demonstrate isos of Maybe using sum and unit isos