Add types to all methods in examples

[hejfelix]

It's a bit hard to read and understand the examples without types on all the defs. I suggest adding them (should be low hanging fruit?)