Section 3.5 complete.

Also added support for a string prompt to (input stx ...)