Remove lens dependency?

[purefn]

Most internal uses are simple enough that they could probably be directly inlined and the TH splices inserted manually. That way people that want to use lens can get the benefit of it and those that don't won't be weighted down by the extra dependency.