Fixed #3

Relation & Channel are covariant to be stored an untyped collection of Agent.