Gravar-mail: Monadic Decomposition in Integer Linear Arithmetic