let object_of_n_pointed_opt n = function 
      | None -> None 
      | Some ty -> Some (object_of_n_pointed n ty)