Replace await1[A].flatMap with receive1?

For the new `Process` representation constructs like `await1[A].flatMap(p1).orElse(p2)` were rewritten as `receive1Or[A,B](p2)(p1)`. So why don't we rewrite `await1[A].flatMap(p1)` as `receive1[A,B](p1)`? The tests indicate that there is no observable difference and in nearly all cases type inference allows us to leave off the types for `receive1`.