Update Machine.hs

lines 141 - 163, neq, leq, geq added