Begin work on multilenses

Use an encoding for Traversals (distinct from the usual encoding).