Add a little bit of documentation, define raw-io equivalents to READ-{CHAR, LINE}