anchor.diff:                  // See convertConstExpr in the compiler, e.g. 
                   //     https://github.com/Microsoft/visualfsharp/blob/44fa027b308681a1b78a089e44fa1ab35ff77b41/src/fsharp/MethodCalls.fs#L842
                   // for the accepted types.
  +                match inp.Namespace, inp.Name with 
  +                | USome "System", "Void"->  typeof<Void>
                   (*
  -                match inp.Namespace, inp.Name with 
                   | USome "System", "Boolean" -> typeof<bool>
                   | USome "System", "String"->  typeof<string>
  -                | USome "System", "Void"->  typeof<Void>
                   | USome "System", "Object"->  typeof<obj>
                   | USome "System", "Int32" ->  typeof<int32>
                   | USome "System", "SByte" ->  typeof<sbyte>
  
positive.code:                       let (TdKey (tenc2, tnsp2, tname2)) = typeNameOfIdx mdkey2.TypeIdx
                        printfn "%s" ("A method in '"+(String.concat "." (tenc2@[tname2]))+"' had the right name but the wrong signature:")
                        printfn "%s" ("generic arity: "+string mdkey2.GenericArity) 
                        printfn "mdkey2: %+A" mdkey2)
                raise MethodDefNotFound
  
  
  
negative.code:                 | USome "System", "UIntPtr" ->  typeof<UIntPtr>
                  | USome "System", "Double" ->  typeof<double>
                  | USome "System", "Single" ->  typeof<single>
                  | USome "System", "Char" ->  typeof<char> 
                  *)
                  | _ -> 
                  TargetTypeDefinition(ilGlobals, tryBindAssembly, asm, declTyOpt, inp) :> System.Type)
  
          let types = lazy [| for td in getReader().ILModuleDef.TypeDefs.Entries -> txILTypeDef None td  |]
  