Rename QUICK-TUTORIAL to EXAMPLES
Drop a set of vectors to ease readability in cond(3)-fn.
Update docs to new vector layout, and add large example.