We need to find a solution for keeping schemas and states in synchrony throughout the various type system operations

[prismofeverything]

Right now we flow in one direction or the other, ie through fill or infer, but we need them to always flow both ways.