Make x^x procedure definition more clear

Change the name from 'x-to-x', to 'x-exp-x' as the former does not
convey the meaning of the procedure.
Type out and run chapter's explanatory code