Allow symbolic/partial evaluation of tests

This is necessary to allow expressions in tests, such as List.::
Mute reporters, preventing spurious output while testing