Tests: Remove dead/wrong code: getParamPure
Test combinators: Fix a bunch of the combinators that didn't use resumptions to use resumptions

Also remove the error-prone 'simple' combinator
pureSet -> pureType
Test combinators: inline the wrong iexpr in its use sites, towards fixing them
TestCombinators: list combinator supports resumptions