The lanes have been added in this changeset: https://www.openstreetmap.org/changeset/156585362

Please give some time for map tiles to update, especially for CyclOSM.

I am not updating the adjacent path because there is no signage or documentation (that I could find) designating it as a trail, so it will remain a generic asphalt path for the time being, unless another mapper has a better idea.