lenses that can be lifted into arbitrary DSLs.  Includes a remote-accessor DSL framework