Implement any and all. Closes #4. Closes #5.