tok: report tilde followed by an equal sign as a separate token