public void AddTypeSynonymDecl(string synonym, Type t) { AddTopLevelDecl(AH.MakeTypeSynonymDecl(module, synonym, t)); }