I don't think cycleway:both=lane is well recognized, on [Bicycle tags map](http://mijndev.openstreetmap.nl/~ligfietser/fiets/index.html?map=cycleways&zoom=14&lat=42.25613&lon=-83.71884&layers=B000000TFFFFFTTFFFFFFFFFFF) suggested by [michigan's OSM's wiki](https://wiki.openstreetmap.org/wiki/Michigan), cycleway:both=lane is not included as an option.