Add test for reuse of builtin tycon names