move def of iterated susp to lib.types; define S_n