now that the concrete syntax of s-lams has changed, its tosource ought to change to match...