Checking in commented scheme code from Radul's propagation thesis