Implement && and || using IfE.

Merged Rodolphe Lepigre requested to merge time/lazy_ops into master

Merge request reports