diff --git a/implementations/javascript/packages/core/src/annotated.ts b/implementations/javascript/packages/core/src/annotated.ts
index 8f5af4a..964b466 100644
--- a/implementations/javascript/packages/core/src/annotated.ts
+++ b/implementations/javascript/packages/core/src/annotated.ts
@@ -4,7 +4,7 @@ import { AsPreserve, PreserveOn } from "./symbols";
 import { Value } from "./values";
 import { is, isAnnotated, IsPreservesAnnotated } from "./is";
 import { stringify } from "./text";
-import { DefaultPointer } from "./pointer";
+import { GenericPointer } from "./pointer";
 
 export interface Position {
     line?: number;
@@ -53,7 +53,7 @@ export function formatPosition(p: Position | null | string): string {
     }
 }
 
-export class Annotated<T = DefaultPointer> {
+export class Annotated<T = GenericPointer> {
     readonly annotations: Array<Value<T>>;
     readonly pos: Position | null;
     readonly item: Value<T>;
@@ -99,17 +99,17 @@ export class Annotated<T = DefaultPointer> {
         return true;
     }
 
-    static isAnnotated<T = DefaultPointer>(x: any): x is Annotated<T> {
+    static isAnnotated<T = GenericPointer>(x: any): x is Annotated<T> {
         return isAnnotated(x);
     }
 }
 
-export function annotate<T = DefaultPointer>(v0: Value<T>, ...anns: Value<T>[]): Annotated<T> {
+export function annotate<T = GenericPointer>(v0: Value<T>, ...anns: Value<T>[]): Annotated<T> {
     const v = Annotated.isAnnotated<T>(v0) ? v0 : new Annotated(v0);
     anns.forEach((a) => v.annotations.push(a));
     return v;
 }
 
-export function position<T = DefaultPointer>(v: Value<T>): Position | null {
+export function position<T = GenericPointer>(v: Value<T>): Position | null {
     return Annotated.isAnnotated<T>(v) ? v.pos : null;
 }
diff --git a/implementations/javascript/packages/core/src/bytes.ts b/implementations/javascript/packages/core/src/bytes.ts
index 63189ed..fa4831e 100644
--- a/implementations/javascript/packages/core/src/bytes.ts
+++ b/implementations/javascript/packages/core/src/bytes.ts
@@ -2,7 +2,7 @@ import { Tag } from './constants';
 import { AsPreserve, PreserveOn } from './symbols';
 import { Encoder, Preservable } from './encoder';
 import { Value } from './values';
-import { DefaultPointer } from './pointer';
+import { GenericPointer } from './pointer';
 
 const textEncoder = new TextEncoder();
 const textDecoder = new TextDecoder();
@@ -127,7 +127,7 @@ export class Bytes implements Preservable<never> {
         return this.asPreservesText();
     }
 
-    [AsPreserve]<T = DefaultPointer>(): Value<T> {
+    [AsPreserve]<T = GenericPointer>(): Value<T> {
         return this;
     }
 
diff --git a/implementations/javascript/packages/core/src/compound.ts b/implementations/javascript/packages/core/src/compound.ts
index 650591a..10fc11b 100644
--- a/implementations/javascript/packages/core/src/compound.ts
+++ b/implementations/javascript/packages/core/src/compound.ts
@@ -1,8 +1,8 @@
 import type { Compound, Value } from "./values";
-import type { DefaultPointer } from "./pointer";
+import type { GenericPointer } from "./pointer";
 import { Dictionary, Set } from "./dictionary";
 
-export function isCompound<T = DefaultPointer>(x: Value<T>): x is Compound<T>
+export function isCompound<T = GenericPointer>(x: Value<T>): x is Compound<T>
 {
     return (Array.isArray(x) || Set.isSet(x) || Dictionary.isDictionary(x));
 }
diff --git a/implementations/javascript/packages/core/src/dictionary.ts b/implementations/javascript/packages/core/src/dictionary.ts
index 0f92f02..c9593ee 100644
--- a/implementations/javascript/packages/core/src/dictionary.ts
+++ b/implementations/javascript/packages/core/src/dictionary.ts
@@ -6,17 +6,17 @@ import { stringify } from "./text";
 import { Value } from "./values";
 import { Bytes } from './bytes';
 import { fromJS } from "./fromjs";
-import { DefaultPointer } from "./pointer";
+import { GenericPointer } from "./pointer";
 
 export type DictionaryType = 'Dictionary' | 'Set';
 export const DictionaryType = Symbol.for('DictionaryType');
 
-export class KeyedDictionary<K extends Value<T>, V, T = DefaultPointer> extends FlexMap<K, V> {
+export class KeyedDictionary<K extends Value<T>, V, T = GenericPointer> extends FlexMap<K, V> {
     get [DictionaryType](): DictionaryType {
         return 'Dictionary';
     }
 
-    static isKeyedDictionary<K extends Value<T>, V, T = DefaultPointer>(x: any): x is KeyedDictionary<K, V, T> {
+    static isKeyedDictionary<K extends Value<T>, V, T = GenericPointer>(x: any): x is KeyedDictionary<K, V, T> {
         return x?.[DictionaryType] === 'Dictionary';
     }
 
@@ -26,7 +26,7 @@ export class KeyedDictionary<K extends Value<T>, V, T = DefaultPointer> extends
         super(canonicalString, items);
     }
 
-    mapEntries<W, S extends Value<R>, R = DefaultPointer>(f: (entry: [K, V]) => [S, W]): KeyedDictionary<S, W, R> {
+    mapEntries<W, S extends Value<R>, R = GenericPointer>(f: (entry: [K, V]) => [S, W]): KeyedDictionary<S, W, R> {
         const result = new KeyedDictionary<S, W, R>();
         for (let oldEntry of this.entries()) {
             const newEntry = f(oldEntry);
@@ -75,12 +75,12 @@ export class KeyedDictionary<K extends Value<T>, V, T = DefaultPointer> extends
     }
 }
 
-export class Dictionary<T = DefaultPointer, V = Value<T>> extends KeyedDictionary<Value<T>, V, T> {
-    static isDictionary<T = DefaultPointer, V = Value<T>>(x: any): x is Dictionary<T, V> {
+export class Dictionary<T = GenericPointer, V = Value<T>> extends KeyedDictionary<Value<T>, V, T> {
+    static isDictionary<T = GenericPointer, V = Value<T>>(x: any): x is Dictionary<T, V> {
         return x?.[DictionaryType] === 'Dictionary';
     }
 
-    static fromJS<T = DefaultPointer, V = DefaultPointer>(x: object): Dictionary<T, Value<V>> {
+    static fromJS<T = GenericPointer, V = GenericPointer>(x: object): Dictionary<T, Value<V>> {
         if (Dictionary.isDictionary<T, Value<V>>(x)) return x;
         const d = new Dictionary<T, Value<V>>();
         Object.entries(x).forEach(([key, value]) => d.set(key, fromJS(value)));
@@ -88,12 +88,12 @@ export class Dictionary<T = DefaultPointer, V = Value<T>> extends KeyedDictionar
     }
 }
 
-export class KeyedSet<K extends Value<T>, T = DefaultPointer> extends FlexSet<K> {
+export class KeyedSet<K extends Value<T>, T = GenericPointer> extends FlexSet<K> {
     get [DictionaryType](): DictionaryType {
         return 'Set';
     }
 
-    static isKeyedSet<K extends Value<T>, T = DefaultPointer>(x: any): x is KeyedSet<K, T> {
+    static isKeyedSet<K extends Value<T>, T = GenericPointer>(x: any): x is KeyedSet<K, T> {
         return x?.[DictionaryType] === 'Set';
     }
 
@@ -101,7 +101,7 @@ export class KeyedSet<K extends Value<T>, T = DefaultPointer> extends FlexSet<K>
         super(canonicalString, items);
     }
 
-    map<S extends Value<R>, R = DefaultPointer>(f: (value: K) => S): KeyedSet<S, R> {
+    map<S extends Value<R>, R = GenericPointer>(f: (value: K) => S): KeyedSet<S, R> {
         return new KeyedSet(_iterMap(this[Symbol.iterator](), f));
     }
 
@@ -138,8 +138,8 @@ export class KeyedSet<K extends Value<T>, T = DefaultPointer> extends FlexSet<K>
     }
 }
 
-export class Set<T = DefaultPointer> extends KeyedSet<Value<T>, T> {
-    static isSet<T = DefaultPointer>(x: any): x is Set<T> {
+export class Set<T = GenericPointer> extends KeyedSet<Value<T>, T> {
+    static isSet<T = GenericPointer>(x: any): x is Set<T> {
         return x?.[DictionaryType] === 'Set';
     }
 }
diff --git a/implementations/javascript/packages/core/src/float.ts b/implementations/javascript/packages/core/src/float.ts
index 2988c63..b1baedd 100644
--- a/implementations/javascript/packages/core/src/float.ts
+++ b/implementations/javascript/packages/core/src/float.ts
@@ -2,7 +2,7 @@ import { Encoder, Preservable } from "./encoder";
 import { Tag } from "./constants";
 import { AsPreserve, PreserveOn } from "./symbols";
 import { Value } from "./values";
-import { DefaultPointer } from "./pointer";
+import { GenericPointer } from "./pointer";
 
 export type FloatType = 'Single' | 'Double';
 export const FloatType = Symbol.for('FloatType');
@@ -45,7 +45,7 @@ export function floatValue(f: any): number {
 }
 
 export class SingleFloat extends Float implements Preservable<never> {
-    [AsPreserve]<T = DefaultPointer>(): Value<T> {
+    [AsPreserve]<T = GenericPointer>(): Value<T> {
         return this;
     }
 
@@ -70,7 +70,7 @@ export function Single(value: number | Float): SingleFloat {
 }
 
 export class DoubleFloat extends Float implements Preservable<never> {
-    [AsPreserve]<T = DefaultPointer>(): Value<T> {
+    [AsPreserve]<T = GenericPointer>(): Value<T> {
         return this;
     }
 
diff --git a/implementations/javascript/packages/core/src/fromjs.ts b/implementations/javascript/packages/core/src/fromjs.ts
index ee939b0..43a8276 100644
--- a/implementations/javascript/packages/core/src/fromjs.ts
+++ b/implementations/javascript/packages/core/src/fromjs.ts
@@ -1,11 +1,11 @@
-import { embed, DefaultPointer } from "./pointer";
+import { embed, GenericPointer } from "./pointer";
 import { Bytes } from "./bytes";
 import { Record, Tuple } from "./record";
 import { AsPreserve } from "./symbols";
 import { Value } from "./values";
 import { Dictionary, Set } from "./dictionary";
 
-export function fromJS<T = DefaultPointer>(x: any): Value<T> {
+export function fromJS<T = GenericPointer>(x: any): Value<T> {
     switch (typeof x) {
         case 'number':
             if (!Number.isInteger(x)) {
diff --git a/implementations/javascript/packages/core/src/is.ts b/implementations/javascript/packages/core/src/is.ts
index 3bbea91..61ed216 100644
--- a/implementations/javascript/packages/core/src/is.ts
+++ b/implementations/javascript/packages/core/src/is.ts
@@ -1,9 +1,9 @@
-import type { DefaultPointer } from "./pointer";
+import type { GenericPointer } from "./pointer";
 import type { Annotated } from "./annotated";
 
 export const IsPreservesAnnotated = Symbol.for('IsPreservesAnnotated');
 
-export function isAnnotated<T = DefaultPointer>(x: any): x is Annotated<T>
+export function isAnnotated<T = GenericPointer>(x: any): x is Annotated<T>
 {
     return !!x?.[IsPreservesAnnotated];
 }
diff --git a/implementations/javascript/packages/core/src/pointer.ts b/implementations/javascript/packages/core/src/pointer.ts
index 1d8e3d0..6dd16c5 100644
--- a/implementations/javascript/packages/core/src/pointer.ts
+++ b/implementations/javascript/packages/core/src/pointer.ts
@@ -7,8 +7,8 @@ export type PointerType<T> = {
     decode(s: DecoderState): T;
     encode(s: EncoderState, v: T): void;
 
-    fromValue(v: Value<DefaultPointer>): T;
-    toValue(v: T): Value<DefaultPointer>;
+    fromValue(v: Value<GenericPointer>): T;
+    toValue(v: T): Value<GenericPointer>;
 }
 
 export class Pointer<T> {
@@ -35,7 +35,7 @@ export function isPointer<T>(v: Value<T>): v is Pointer<T> {
     return typeof v === 'object' && 'embeddedValue' in v;
 }
 
-export class DefaultPointer {
+export class GenericPointer {
     generic: Value;
 
     constructor(generic: Value) {
@@ -51,20 +51,20 @@ export class DefaultPointer {
     }
 }
 
-export const genericPointerType: PointerType<DefaultPointer> = {
-    decode(s: DecoderState): DefaultPointer {
-        return new DefaultPointer(new Decoder(s, this).next());
+export const genericPointerType: PointerType<GenericPointer> = {
+    decode(s: DecoderState): GenericPointer {
+        return new GenericPointer(new Decoder(s, this).next());
     },
 
-    encode(s: EncoderState, v: DefaultPointer): void {
+    encode(s: EncoderState, v: GenericPointer): void {
         new Encoder(s, this).push(v.generic);
     },
 
-    fromValue(v: Value<DefaultPointer>): DefaultPointer {
-        return new DefaultPointer(strip(v));
+    fromValue(v: Value<GenericPointer>): GenericPointer {
+        return new GenericPointer(strip(v));
     },
 
-    toValue(v: DefaultPointer): Value<DefaultPointer> {
+    toValue(v: GenericPointer): Value<GenericPointer> {
         return v.generic;
     }
 };
@@ -78,11 +78,11 @@ export const neverPointerType: PointerType<never> = {
         throw new Error("Pointers not permitted encoding Preserves document");
     },
 
-    fromValue(_v: Value<DefaultPointer>): never {
+    fromValue(_v: Value<GenericPointer>): never {
         throw new Error("Pointers not permitted at this point in Preserves document");
     },
 
-    toValue(_v: never): Value<DefaultPointer> {
+    toValue(_v: never): Value<GenericPointer> {
         throw new Error("Pointers not permitted encoding Preserves document");
     }
 };
@@ -107,11 +107,11 @@ export const identityPointerType: PointerType<any> = {
         new Encoder(s, this).push(pointerId(v));
     },
 
-    fromValue(_v: Value<DefaultPointer>): any {
+    fromValue(_v: Value<GenericPointer>): any {
         throw new Error("Cannot decode identityPointerType");
     },
 
-    toValue(v: any): Value<DefaultPointer> {
+    toValue(v: any): Value<GenericPointer> {
         return pointerId(v);
     }
 };
diff --git a/implementations/javascript/packages/core/src/reader.ts b/implementations/javascript/packages/core/src/reader.ts
index 8c7f8de..f9496d7 100644
--- a/implementations/javascript/packages/core/src/reader.ts
+++ b/implementations/javascript/packages/core/src/reader.ts
@@ -10,7 +10,7 @@ import { Record } from './record';
 import { Annotated, newPosition, Position, updatePosition } from './annotated';
 import { Double, DoubleFloat, Single, SingleFloat } from './float';
 import { stringify } from './text';
-import { embed, DefaultPointer, genericPointerType, neverPointerType, PointerType } from './pointer';
+import { embed, GenericPointer, genericPointerType, neverPointerType, PointerType } from './pointer';
 
 export interface ReaderStateOptions {
     includeAnnotations?: boolean;
@@ -383,7 +383,7 @@ export class Reader<T> {
                             });
                         }
                         case '!': return embed(this.pointerType.fromValue(
-                            new Reader<DefaultPointer>(this.state, genericPointerType).next()));
+                            new Reader<GenericPointer>(this.state, genericPointerType).next()));
                         default:
                             this.state.error(`Invalid # syntax: ${c}`, startPos);
                     }
diff --git a/implementations/javascript/packages/core/src/record.ts b/implementations/javascript/packages/core/src/record.ts
index 23e1099..51df0b9 100644
--- a/implementations/javascript/packages/core/src/record.ts
+++ b/implementations/javascript/packages/core/src/record.ts
@@ -1,10 +1,10 @@
-import { DefaultPointer } from "./pointer";
+import { GenericPointer } from "./pointer";
 import { is } from "./is";
 import { Value } from "./values";
 
 export type Tuple<T> = Array<T> | [T];
 
-export type Record<LabelType extends Value<T>, FieldsType extends Tuple<Value<T>>, T = DefaultPointer>
+export type Record<LabelType extends Value<T>, FieldsType extends Tuple<Value<T>>, T = GenericPointer>
     = FieldsType & { label: LabelType };
 
 export type RecordGetters<Fs, R> = {
@@ -14,14 +14,14 @@ export type RecordGetters<Fs, R> = {
 export type CtorTypes<Fs, Names extends Tuple<keyof Fs>> =
     { [K in keyof Names]: Fs[keyof Fs & Names[K]] } & any[];
 
-export interface RecordConstructor<L extends Value<T>, Fs, Names extends Tuple<keyof Fs>, T = DefaultPointer> {
+export interface RecordConstructor<L extends Value<T>, Fs, Names extends Tuple<keyof Fs>, T = GenericPointer> {
     (...fields: CtorTypes<Fs, Names>): Record<L, CtorTypes<Fs, Names>, T>;
     constructorInfo: RecordConstructorInfo<L, T>;
     isClassOf(v: any): v is Record<L, CtorTypes<Fs, Names>, T>;
     _: RecordGetters<Fs, Record<L, CtorTypes<Fs, Names>, T>>;
 };
 
-export interface RecordConstructorInfo<L extends Value<T>, T = DefaultPointer> {
+export interface RecordConstructorInfo<L extends Value<T>, T = GenericPointer> {
     label: L;
     arity: number;
 }
@@ -46,7 +46,7 @@ export function Record<L, FieldsType extends Tuple<any>>(
 }
 
 export namespace Record {
-    export function isRecord<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = DefaultPointer>(x: any): x is Record<L, FieldsType, T> {
+    export function isRecord<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = GenericPointer>(x: any): x is Record<L, FieldsType, T> {
         return Array.isArray(x) && 'label' in x;
     }
 
@@ -54,19 +54,19 @@ export namespace Record {
         return '<unprintable_preserves_field_value>';
     }
 
-    export function constructorInfo<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = DefaultPointer>(
+    export function constructorInfo<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = GenericPointer>(
         r: Record<L, FieldsType, T>): RecordConstructorInfo<L, T>
     {
         return { label: r.label, arity: r.length };
     }
 
-    export function isClassOf<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = DefaultPointer>(
+    export function isClassOf<L extends Value<T>, FieldsType extends Tuple<Value<T>>, T = GenericPointer>(
         ci: RecordConstructorInfo<L, T>, v: any): v is Record<L, FieldsType, T>
     {
         return (Record.isRecord(v)) && is(ci.label, v.label) && (ci.arity === v.length);
     }
 
-    export function makeConstructor<Fs, T = DefaultPointer>()
+    export function makeConstructor<Fs, T = GenericPointer>()
     : (<L extends Value<T>, Names extends Tuple<keyof Fs>>(label: L, fieldNames: Names) =>
         RecordConstructor<L, Fs, Names, T>)
     {
@@ -86,7 +86,7 @@ export namespace Record {
 
 Array.prototype.asPreservesText = function (): string {
     if ('label' in (this as any)) {
-        const r = this as Record<Value, Tuple<Value>, DefaultPointer>;
+        const r = this as Record<Value, Tuple<Value>, GenericPointer>;
         return '<' + r.label.asPreservesText() + (r.length > 0 ? ' ': '') +
             r.map(f => {
                 try {
diff --git a/implementations/javascript/packages/core/src/strip.ts b/implementations/javascript/packages/core/src/strip.ts
index 6812498..dce1baa 100644
--- a/implementations/javascript/packages/core/src/strip.ts
+++ b/implementations/javascript/packages/core/src/strip.ts
@@ -2,17 +2,17 @@ import { Value } from "./values";
 import { Annotated } from "./annotated";
 import { Record, Tuple } from "./record";
 import { Set, Dictionary } from "./dictionary";
-import type { DefaultPointer } from "./pointer";
+import type { GenericPointer } from "./pointer";
 
-export function unannotate<T = DefaultPointer>(v: Value<T>): Value<T> {
+export function unannotate<T = GenericPointer>(v: Value<T>): Value<T> {
     return Annotated.isAnnotated<T>(v) ? v.item : v;
 }
 
-export function peel<T = DefaultPointer>(v: Value<T>): Value<T> {
+export function peel<T = GenericPointer>(v: Value<T>): Value<T> {
     return strip(v, 1);
 }
 
-export function strip<T = DefaultPointer>(
+export function strip<T = GenericPointer>(
     v: Value<T>,
     depth: number = Infinity): Value<T>
 {
diff --git a/implementations/javascript/packages/core/src/values.ts b/implementations/javascript/packages/core/src/values.ts
index aca9246..e4729af 100644
--- a/implementations/javascript/packages/core/src/values.ts
+++ b/implementations/javascript/packages/core/src/values.ts
@@ -4,9 +4,9 @@ import type { Bytes } from './bytes';
 import type { DoubleFloat, SingleFloat } from './float';
 import type { Annotated } from './annotated';
 import type { Set, Dictionary } from './dictionary';
-import type { Pointer, DefaultPointer } from './pointer';
+import type { Pointer, GenericPointer } from './pointer';
 
-export type Value<T = DefaultPointer> =
+export type Value<T = GenericPointer> =
     | Atom
     | Compound<T>
     | Pointer<T>
@@ -19,7 +19,7 @@ export type Atom =
     | string
     | Bytes
     | symbol;
-export type Compound<T = DefaultPointer> =
+export type Compound<T = GenericPointer> =
     | (Array<Value<T>> | [Value<T>]) & { label: Value<T> }
       // ^ expanded from definition of Record<> in record.ts,
       // because if we use Record<Value<T>, Tuple<Value<T>>, T>,
diff --git a/implementations/javascript/packages/core/test/codec.test.ts b/implementations/javascript/packages/core/test/codec.test.ts
index 28a4a90..9531dcf 100644
--- a/implementations/javascript/packages/core/test/codec.test.ts
+++ b/implementations/javascript/packages/core/test/codec.test.ts
@@ -10,7 +10,7 @@ import {
     fromJS,
     Constants,
     Encoder,
-    DefaultPointer,
+    GenericPointer,
     EncoderState,
     PointerType,
     DecoderState,
@@ -27,9 +27,9 @@ import * as fs from 'fs';
 const _discard = Symbol.for('discard');
 const _capture = Symbol.for('capture');
 const _observe = Symbol.for('observe');
-const Discard = Record.makeConstructor<{}, DefaultPointer>()(_discard, []);
-const Capture = Record.makeConstructor<{pattern: Value<DefaultPointer>}, DefaultPointer>()(_capture, ['pattern']);
-const Observe = Record.makeConstructor<{pattern: Value<DefaultPointer>}, DefaultPointer>()(_observe, ['pattern']);
+const Discard = Record.makeConstructor<{}, GenericPointer>()(_discard, []);
+const Capture = Record.makeConstructor<{pattern: Value<GenericPointer>}, GenericPointer>()(_capture, ['pattern']);
+const Observe = Record.makeConstructor<{pattern: Value<GenericPointer>}, GenericPointer>()(_observe, ['pattern']);
 
 describe('record constructors', () => {
     it('should have constructorInfo', () => {
@@ -95,7 +95,7 @@ describe('encoding and decoding pointers', () => {
         }
 
         decode(d: DecoderState): object {
-            return this.fromValue(new Decoder<DefaultPointer>(d).next());
+            return this.fromValue(new Decoder<GenericPointer>(d).next());
         }
 
         encode(e: EncoderState, v: object): void {
@@ -106,7 +106,7 @@ describe('encoding and decoding pointers', () => {
             return Object.is(a, b);
         }
 
-        fromValue(v: Value<DefaultPointer>): object {
+        fromValue(v: Value<GenericPointer>): object {
             if (typeof v !== 'number' || v < 0 || v >= this.objects.length) {
                 throw new Error("Unknown pointer target");
             }
@@ -186,7 +186,7 @@ describe('common test suite', () => {
     const samples = decodeWithAnnotations(samples_bin, { pointerType: genericPointerType });
 
     const TestCases = Record.makeConstructor<{
-        cases: Dictionary<DefaultPointer>
+        cases: Dictionary<GenericPointer>
     }>()(Symbol.for('TestCases'), ['cases']);
     type TestCases = ReturnType<typeof TestCases>;
 
@@ -196,48 +196,48 @@ describe('common test suite', () => {
     function D(bs: Bytes) {
         return decodeWithAnnotations(bs, { pointerType: genericPointerType });
     }
-    function E(v: Value<DefaultPointer>) {
+    function E(v: Value<GenericPointer>) {
         return encodeWithAnnotations(v, { pointerType: genericPointerType });
     }
 
     interface ExpectedValues {
         [testName: string]: ({
-            value: Value<DefaultPointer>;
+            value: Value<GenericPointer>;
         } | {
-            forward: Value<DefaultPointer>;
-            back: Value<DefaultPointer>;
+            forward: Value<GenericPointer>;
+            back: Value<GenericPointer>;
         });
     }
 
     const expectedValues: ExpectedValues = {
-        annotation1: { forward: annotate<DefaultPointer>(9, "abc"),
+        annotation1: { forward: annotate<GenericPointer>(9, "abc"),
                        back: 9 },
-        annotation2: { forward: annotate<DefaultPointer>([[], annotate<DefaultPointer>([], "x")],
+        annotation2: { forward: annotate<GenericPointer>([[], annotate<GenericPointer>([], "x")],
                                                          "abc",
                                                          "def"),
                        back: [[], []] },
-        annotation3: { forward: annotate<DefaultPointer>(5,
-                                                         annotate<DefaultPointer>(2, 1),
-                                                         annotate<DefaultPointer>(4, 3)),
+        annotation3: { forward: annotate<GenericPointer>(5,
+                                                         annotate<GenericPointer>(2, 1),
+                                                         annotate<GenericPointer>(4, 3)),
                        back: 5 },
         annotation5: {
-            forward: annotate<DefaultPointer>(
+            forward: annotate<GenericPointer>(
                 Record<symbol, any>(Symbol.for('R'),
-                                    [annotate<DefaultPointer>(Symbol.for('f'),
+                                    [annotate<GenericPointer>(Symbol.for('f'),
                                                               Symbol.for('af'))]),
                 Symbol.for('ar')),
-            back: Record<Value<DefaultPointer>, any>(Symbol.for('R'), [Symbol.for('f')])
+            back: Record<Value<GenericPointer>, any>(Symbol.for('R'), [Symbol.for('f')])
         },
         annotation6: {
-            forward: Record<Value<DefaultPointer>, any>(
-                annotate<DefaultPointer>(Symbol.for('R'),
+            forward: Record<Value<GenericPointer>, any>(
+                annotate<GenericPointer>(Symbol.for('R'),
                                          Symbol.for('ar')),
-                [annotate<DefaultPointer>(Symbol.for('f'),
+                [annotate<GenericPointer>(Symbol.for('f'),
                                           Symbol.for('af'))]),
             back: Record<symbol, any>(Symbol.for('R'), [Symbol.for('f')])
         },
         annotation7: {
-            forward: annotate<DefaultPointer>([], Symbol.for('a'), Symbol.for('b'), Symbol.for('c')),
+            forward: annotate<GenericPointer>([], Symbol.for('a'), Symbol.for('b'), Symbol.for('c')),
             back: []
         },
         list1: {
@@ -257,7 +257,7 @@ describe('common test suite', () => {
     function runTestCase(variety: Variety,
                          tName: string,
                          binaryForm: Bytes,
-                         annotatedTextForm: Value<DefaultPointer>)
+                         annotatedTextForm: Value<GenericPointer>)
     {
         describe(tName, () => {
             const textForm = strip(annotatedTextForm);
@@ -286,10 +286,10 @@ describe('common test suite', () => {
     }
 
     const tests = (peel(TestCases._.cases(peel(samples) as TestCases)) as
-                   Dictionary<DefaultPointer>);
-    tests.forEach((t0: Value<DefaultPointer>, tName0: Value<DefaultPointer>) => {
+                   Dictionary<GenericPointer>);
+    tests.forEach((t0: Value<GenericPointer>, tName0: Value<GenericPointer>) => {
         const tName = Symbol.keyFor(strip(tName0) as symbol)!;
-        const t = peel(t0) as Record<symbol, any, DefaultPointer>;
+        const t = peel(t0) as Record<symbol, any, GenericPointer>;
         switch (t.label) {
             case Symbol.for('Test'):
                 runTestCase('normal', tName, strip(t[0]) as Bytes, t[1]);