TestRunner: add toplevel type signatures for clarity