print summary when tests are done too
make `time` an identifier with proto (), rather than a term