Chapter 15: no need to have Loop in simple Process

[dmalikov]

Since procAdder described in section 15.2.1 is not total, there is no need to have Loop constructor in Process.

Loop is introduced in section 15.2.2 to make procAdder total, which is covered by ProcessLoop.idr.