anchor.diff:                      else null
   
                   let equalityInterfaces (t:Type) : Type =
  -                    let make = makeType t
  +                    let make = mos.makeType t
                       let equatable = mos.makeEquatableType t
   
                       if   t.IsValueType && typeof<IStructuralEquatable>.IsAssignableFrom t then make Exemplars.valueTypeStructuralEquatable
  
positive.code:                     if t.IsGenericType && ((t.GetGenericTypeDefinition ()).Equals typedefof<System.Nullable<_>>) then
                          let underlying = get (t.GetGenericArguments()) 0
                          let equatable = mos.makeEquatableType underlying
                          let make = makeType underlying 
                          
                          if typeof<IStructuralEquatable>.IsAssignableFrom underlying then make Exemplars.nullableStructuralEquatable
                          elif equatable.IsAssignableFrom underlying                  then make Exemplars.nullableEquatable
  
negative.code:                     if t.IsArray || typeof<System.Array>.IsAssignableFrom t then
                          // TODO: Future; for now just default back to previous functionality
                          match tyRelation with
                          | r when r.Equals typeof<PartialEquivalenceRelation> -> mos.makeType t typedefof<GenericEqualityObj_PER<_>>
                          | r when r.Equals typeof<EquivalenceRelation>        -> mos.makeType t typedefof<GenericEqualityObj_ER<_>>
                          | _ -> raise (Exception "invalid logic")
                      else null
  
  