Could we just use `def-binding` everywhere in this code and ditch all the `cons`s?