more work on instances
running instance inference during inference now, rather than typechecking - well both, but gonna get rid of the one during typechecking