Making conversions work with type-class materializers.

Fixes #33 #19

Review by @gzm0 @hubertp
We should do this globally then (will not fix here). I am not sure it is better since `implicitly` is more generic. Here we want precisely a wtt from the signature.