altos/lisp: Make read() return eof atom on end of file