Input and Output

The definition does not yet have a powerful input/output mechanism. The one in is intended to be a starting point, and no more. It provides input and output primitives, plus scan and format.