Index - N
| nArgs | AST.Term.Nominal |
| newQuantifiedVariable | AST.Unify.QuantifiedVar |
| newTerm | AST.Unify.New |
| newUnbound | AST.Unify.New |
| newVar | AST.Class.Unify, AST.Unify |
| nId | AST.Term.Nominal |
| NominalDecl | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| NominalInst | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| nominalInst | AST.Term.Nominal |
| NomVarTypes | AST.Term.Nominal |
| nParams | AST.Term.Nominal |
| nScheme | AST.Term.Nominal |