Added the concept of Bandwidth (with Variable and Instantaneous subconcepts). Also added the concept of Sweep and predicate sweeps. Finally I added the concept of FrequencyBand (and the subconcepts of RF and BB).

I need to investigate how to say that Channel and Band are equivalent - if possible at all. If I try to do that, the resoner throws detects inconsistencies and the inferred class hierarchy looks strange.