Added initial inline documentation for Implicit Evidence example