Fix the slice lexing problem properly (i.e., in the lexer, not in the parser).

Add a -tlex option to debug the lexer.

Also, rename the rules in parser.mly now that their appear in the manual.
This renaming work is in progress though.