declare function types in READ-INTO-SEQUENCE

Declare function types, especially the return type, for generated READ/* functions.

At least in SBCL, this sometimes helps generating better code.