ImplicitVariables: Use Lens.#, Rename getVar->getVarLoaded
Sugar.Hole.Convert: Use Lens