Use default extensions (including NoImplicitPrelude)
Replace gname2Qname with origName2QName