use module augmentation for shape-derived DSL

[sam]

The Type interface is tightly-coupled to derived DSLs like DynamoPath, JsonPath, etc.

Can we inject these with module augmentation so shapes can be extended to support new domains?

punchcard/packages/punchcard/lib/shape/types/type.ts

Lines 5 to 17 in d866672

 export interface Type<V> { 
   kind: Kind; 
   validate(value: V): void; 
   toJsonPath(parent: JsonPath<any>, name: string): JsonPath<V>; 
   toDynamoPath(parent: DynamoPath, name: string): DynamoPath; 
   toJsonSchema(): {[key: string]: any}; 
   toGlueType(): { 
     inputString: string; 
     isPrimitive: boolean; 
   }; 
   hashCode(value: V): number; 
   equals(a: V, b: V): boolean; 
 }