Added read-string and read-line to the builtins