Exercise 1.3 - modified extend, lookup, definitial/defprimitive
Exercise 1.3 - Complete
Implement update!