Before experimenting with let bindings
Working towards adding definitions into the abstract syntax of terms, rather than using anonymous fixpoints.