Added definition of GET-SETF-EXPANSION.