Add list isomorphism testing. See http://thetarpit.org/posts/y00/025-type-algebra-the-semantic-ambiguity-of-nested-lists.html