lexing names, bools, many arithmetic tokens