(-> ((list-of symbol) (list-of (list-of symbol)) (list-of expression) environment) environment)
What is the type of extend-env-recursively?