Reduce line length with args for synthesis-fun
Update docstring, s-let is handled/preserved in desugar, s-fun isn't
s-fun is desugard to make raise error and put with other desugared variants