Fix comments: STRING-INPUT-STREAM-STRING is read-only and simple.
Freeze INTERPRETED-FUNCTION type
Add expected results for #\` expansion incl. pvk's change f2503917.

All will pass with the new implementation, pending commit.