Fully implement All, Some, One and ensure that they are annotation-preserving.