Added support for size(), exists(), forAll()