Multiple value definition change and scribblings

Changed define-lambdax-values forms to define-values-lambdax for
consistency, and updated the documentation to document the lambdax
shorthands and base thrush combinator procedures