Ports have an expected "signal type"

Fixes #30.