Updating introduction to implicits in CLS