use more descriptive types instead of ints in the parser and scanner
annotate return type of the implicit fresh name creator