Upgrade to Shapeless 2.1 and take advantage of Lazy improvements to avoid divering implicit expansion in derived codecs