Adds examples/CYK; exports functions in examples/strings
examples: adds list construction and lazy test with function from Prelude
pragmatize