Exercise 2.73 done - reimplementing symbolic differentiation so that it is easily and 'additively' extensible
Exercise 2.74 - more of a thought experiment than anything else