Introduce polymorphic equality in the notebooks

[yallop]

The polymorphic part isn't especially important for the tutorial, but we should note that structural equality is spelt = rather than ==.