handle optional args in destructuring binds
expand-compose sub-function in ssexpand defined
expand-and filled in
definition of substring with $ functions
ssexpand written in pure Arc