Add a comnbinator for lazy sequences

val seq : 'a encoding -> 'a Seq.t encoding

The encoding should be able to handle lazy reading/writing (be `Dynamic kind, e.g., have for each element one byte to indicate if it's the last and then the element, or some variation around this).