Towards Optic-Based Algebraic Theories: the Case of Lenses - View it on GitHub