Fixed bug in end_of_token string in which any character was accepted as end_of_input (instead of a period).
Removed unnecessary tokens COLON and WILDCARD.