Inference and Propagation
Inference of types and properties occurs within component instances, guided by component specs. Most properties are inferred automatically; in some cases, the user is asked via menu.
When a type or value that is part of an interface is inferred, it is propagated across the interface to the other component, where it may cause additional inferences. cf. constraint propagation in Waltz filtering and MOLGEN.