import sequtils
template times*(n:int,body) = (for _ in 0..<n: body)
proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "<stdio.h>",discardable .}
proc scan(): int =
  while true:
    var k = getchar_unlocked()
    if k < '0' or k > '9': break
    result = 10 * result + k.ord - '0'.ord

type BinaryIndexedTree[T] = ref object
  data: seq[T]
proc newBinaryIndexedTree[T](n:int):BinaryIndexedTree[T] =
  new(result)
  result.data = newSeq[T](n)
proc len[T](self:BinaryIndexedTree[T]): int = self.data.len()
proc plus[T](self:var BinaryIndexedTree[T],i:int,val:T) =
  var i = i
  while i < self.len():
    self.data[i] += val
    i = i or (i + 1)
proc `[]`[T](self:BinaryIndexedTree[T],i:int): T =
  var i = i
  while i >= 0:
    result += self.data[i]
    i = (i and (i + 1)) - 1
proc `$`[T](self:BinaryIndexedTree[T]): string =
  result = "["
  for i in 0..<self.len.min(100): result &= $(self[i]) & ", "
  return result[0..result.len()-2] & (if self.len > 100 : " ...]" else: "]")


let n = scan()
let q = scan()
let B = newSeqWith(n,scan())
var A = newBinaryIndexedTree[int](n+2)
var D = newBinaryIndexedTree[int](n+2)
# echo B
for i in 1..<n:
  A.plus i+1, B[i] - B[i-1]
for i in 2..n:
  if A[i] != A[i-1]: D.plus i, 1
q.times:
  let qtype = scan()
  if qtype == 1:
    let (l,r,x) = (scan(),scan()+1,scan())
    let dal = A[l-1] == A[l]
    let dar = A[r-1] == A[r]
    A.plus l,x
    A.plus r,-x
    if dal xor (A[l-1] == A[l]):
      if dal : D.plus l,1
      else: D.plus l,-1
    if dar xor (A[r-1] == A[r]):
      if dar : D.plus r,1
      else: D.plus r,-1
  else:
    let (l,r) = (scan(),scan())
    echo D[r]-D[l]+1