Update OneHot0 explanation
Add ForAll and Exists expression functions