Context example extended

Context extension and concatenation with snoc-based extension.