(-> (expression environment) Expressed-Value)
What is the type of eval-expression?