Implement static pipeline type-checking

[mdekstrand]

One of the specific lints (#1039) we should have is a static component type-check operation, that checks whether input types match (i.e., if an input is wired to a node, does the node's output type match the input's expected type?).