typeClassDefn: don't invade user namespace when inventing name for missing method
typeClassDefn: don't invade user namespace when inventing name for missing method
FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs