Cdavr automata! Also greatly improved printing:
* Print locations as their original variable names, or as their value
if their value is unexpandable.
* To compensate for the resulting duplicate terms (e.g. x -> 3 shows
up as 3 -> 3), simply deduplicate the macro-aware-eval output.