Allow symbolic/partial evaluation of tests

This is necessary to allow expressions in tests, such as List.::