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 all cases type inference allows us to leave off the types for `receive1` (in contrast to `await1[A]` where we always have to specify the type parameter).