WIP: initial attempt at dereffing a lens though a Context