Properly quantify variables in Data expressions.
Fix type error in Automaton library