Class I facility cycle tracks, which are defined as having any physical separation from the road such as the concrete boulevard/barriers in NYC can be mapped either as part of the main highway, or separate ways. Similar to concrete:plates, since the dedicated way provides a higher level of detail, I will work on removing the double tagging on the sections of the main highway where it has been mapped separately.

osm.wiki/Key:cycleway#Cycle_tracks

Please open a pull request or issue with StreetComplete if you want to contributors to have more specific options available for micromap tagging.
https://github.com/streetcomplete/StreetComplete