Redid TypeLens, added minor documentation