Move process family type annotations to right-hand sides

[jeltsch]

There are multiple lemmas that state process families equations where it is necessary to specify that the terms that are equal are indeed process families, in order to resolve ambiguities. Currently, we provide corresponding type annotations for the left-hand sides of such equations. However, this hinders the flow of reading. Therefore, we shall move those type annotations to the corresponding right-hand sides.