Constrained dynamics via the Zeno effect in quantum simulation: implementing non-Abelian lattice gauge theories with cold atoms.