Cleaning up Input/Core.hs, trying to disentangle push and pull control flow. Needs a buffer for input