Test: integer->literalInteger, setType->set. testResume to take InferResults like ordinary test
Test: Improve resumption tests. grouping
Test: recordTest in new style