defined coinduction for Forall and started induction for Exists

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>