anchor.diff:                  let arrays (t:Type) : Type =
                       if t.IsArray || typeof<System.Array>.IsAssignableFrom t then
                           // TODO: Future; for now just default back to previous functionality
  -                        makeType t typedefof<GenericHashParamObject<_>>
  +                        mos.makeType t typedefof<GenericHashParamObject<_>>
                       else null
   
                   let nullableType (t:Type) : Type =
                       if t.IsGenericType && ((t.GetGenericTypeDefinition ()).Equals typedefof<System.Nullable<_>>) then
                           let underlying = get (t.GetGenericArguments()) 0
  -                        let make = makeType underlying 
  +                        let make = mos.makeType underlying 
                           
                           if typeof<IStructuralEquatable>.IsAssignableFrom underlying then make Exemplars.nullableStructuralEquatable
                           else                                                             make Exemplars.nullableEquality
                       else null
   
                   let structualEquatable (t:Type): Type =
  -                    let make = makeType t
  +                    let make = mos.makeType t
   
                       if   t.IsValueType && typeof<IStructuralEquatable>.IsAssignableFrom t then make Exemplars.valueTypeStructuralEquatable
                       elif typeof<IStructuralEquatable>.IsAssignableFrom t                  then make Exemplars.refTypeStructuralEquatable
                       else null
   
                   let sealedTypes (t:Type): Type =
  -                    let make = makeType t
  +                    let make = mos.makeType t
   
                       if t.IsValueType then make Exemplars.valueTypeEquality
                       elif t.IsSealed  then make Exemplars.refTypeEquality
                       else null
   
                   let defaultGetHashCode ty =
  -                    makeType ty typedefof<GenericHashParamObject<_>>
  +                    mos.makeType ty typedefof<GenericHashParamObject<_>>
   
                   let getGetHashCodeEssenceType (t:Type) : Type =
                       mos.takeFirstNonNull [|
  
positive.code:                         interface IStructuralEquatable          with member __.Equals (_,_)  = doNotEat ()
                                                                       member __.GetHashCode _ = doNotEat ()
  
  
                  let nullableStructuralComparable  = typedefof<Nullable. StructuralComparable<DummyTypes.ValueTypeComparableInterfaces>>
                  let nullableComparableGeneric     = typedefof<Nullable. ComparableGeneric<int>>
                  let nullableComparable            = typedefof<Nullable. Comparable<int>>
  
negative.code:                     else null
  
                  let equalityInterfaces (t:Type) : Type =
                      let make = mos.makeType t
                      let equatable = mos.makeEquatableType t
  
                      if   t.IsValueType && typeof<IStructuralEquatable>.IsAssignableFrom t then make Exemplars.valueTypeStructuralEquatable
  