Hi, welcome to OSM!  The bike lanes on North Main are already identified.  They are included with the roadway tags because there is no barrier between the cycle lane and the auto lane.  Please see the Wiki  https://wiki.openstreetmap.org/wiki/Tag:cycleway%3Dlane