Added translation from edit lenses to m-edit lenses and m-edit lens composition. Beginning of examples.