read-sexpr: Clean up code; allow digits in identifiers; allow sign and decimals in numbers.