Adding function matchOrder
Adding Build monad for representing partial computations