YW needs support for annotations that declare the relationships of code block outputs to inputs. An output can be produced with no dependencies on inputs, it can be produced using one or more input values that are not preserved as part of the new value, or it can be the result of adding to an input value (e.g. appending to a string value), etc.