Add types.

This makes reader.rkt and writer.rkt typed.