This afternoon I took a hike in a gypsum canyon and came back with some DF ideas:
1. Smoothing stone should be a more important task. Walking over smooth stone should be like walking down a sidewalk, while walking over rough stone should be like walking through a field or rough mine tunnel. Movement over rough should be about 2/3 movement over smooth.
2. Working floors a second time should turn them from smooth into polished. Think of the kind of stonework that you might see at a bank or a fancy government building. There's no difference in movement speed between smooth and polished, but polished stone is a little prettier and can be engraved.
3. Water affects each type of stone differently. It should take a long time for mud to appear on wet smoothed stone. Polished stone is completely non-porous, so it'll never generate mud. But wet polished stone might become slippery.
4. Cleaning rates vary by smoothness. Rough stone takes longest, smooth is medium, and polished is quick.
5. Types of rock should be classed as hard or soft. You can only polish hard stone floors and walls, not soft stone like talc or gypsum. But maybe an advantage of soft stone is that you can order your miners to crush those stones to dust with their picks, so that you don't have to haul them.
6. A constructed floor from rock is rough and can be smoothed. A constructed floor from a block is smooth and can be polished, if it's from a hard type of rock.