Update model so that we can actually reduce a simple program all the way through