Add a simple test of `unput(...)
Minor simplification of `puts.flex
Add a simple domenstration of `input