core: suppress 'where' keyword when pretty printing modules with no bindings
Rename .dst files to .ds