Implement (and ...) and (or ...)

[1.3]