Add test that tagged-types search the tag's implicit scope