Add simple example
WIP: starting to debug InferSeq