Added 'implicit' conversions
implicit f : a -> b
Then, when a function needs a 'b' but has an 'a', f will be called
implicitly.
This is probably scary and fragile. Use with extreme caution!
Brief note on implicits in the tutorial
Update tutorial