Finishing chapter on implicits in CLS

This resolves #8.