Convert to #lang whalesong (implemented string-replace to do so)