A member_len property on Channel and User might be good.  Would you recommend add/subtract in member_add/del, or should member_len just call len(set(members))?