declare function types in READ-INTO-SEQUENCE
declare function types in READ-INTO-SEQUENCE

Declare function types, especially the return type, for generated
READ/* functions.

froydnj/nibbles,sharplispers/nibbles