Added 2-dimensional diagonalization function to Examples, to allow one to print the pascal triangle.
Simplified Names by using type synonyms more.
Cleaned up All.
Split Insert out into its own file, added View to Slice to produce nested streams from tapes.