let variable kind ?name ?structure ?pos () = 
  let structure = 
    match structure with 
      | Some t -> 
          let v = chopi IntRank.none t in 
            Some (Var v)
      | None -> None
  in
    variable kind ?name:name ?structure:structure ?pos:pos ()