Reset global variables of the compiler's TypeReifier. Now all the
concrete syntax tests pass also when executes with :test.