New approach for connectors using constraint-based typing.
Type checker implemented without unification yet - just compiles the
constraints.