Tokenize identifiers with hyphens

Usually people pad their minus operators, right?