Implement Lazy{And,Or} and proper tail calls