Perform two tasks:
(1) allow additional characters (e.g., '-', '?', '!') to be in identifers' names,
and (2) modify the usage or representations of the four existential operators.
Update README