Add ForAll and Exists to the contracts library