Add module in/out type annotations; include in docs; warn or enforce when connecting

[matthewryanscott]

Each module type has some aspects that could be documented, and also selectively enforced via warnings or exceptions:

• types of inputs
• types of outputs
• naming and grouping of multiple inputs (e.g. modulator has carrier and modulator inputs)