Propagate session type information downwards

[np]

Most constructs involving channels can have optional annotations.
Sometimes this information is only checked against the inferred information.
However annotations on send (#13) and recv could be inferred this way.