1) The variable in arg-spec handling actually refers to the

   _expression_ and not the keyword, since we branch based on that
   expression's type.
2) Refactor a function to have a specified return type.