Addint keyIn as invariant for object types

  - E.g { x: string } ~> { { x:string } | keyIn("x",v) }