This fixes the handler's lifetime annotation and adds introtrospection
for the rest of the derivative api.

Also fixes a cut-and-paste problem affecting derivative of a reference
to a non-existing cell.