refreshing arguments of parsed types
refreshing predicate arguments when parsing
Merge pull request #109 from ucsd-progsys/argclash

make names of parsed symbols unique