Add example of explicit user-defined cast.
Fix some mistakes or add necessary info.