Improving TLC error message for temporal existential quantifier in spec - #304

.  Adding the temporal for-all case as well; message displayed now reads:
"TLC does not support temporal existential, nor universal, quantification over state variables."

[Enhancement][Tools]