anchor.diff:      City: String; Region: String;
       Country: String;
       }
  -Type.GetTypeCode(typeof<Address>)
   
   type Jurisdiction = 
       | BC
  
positive.code:     Provider : Person;
      Holder : Person;
      }
  
  let test p str =
      match run p str with
  
negative.code:         Country: Canada"
  
  let parsed = test pcontract contractData
  parsed = constructed