added optimized ArrayWrapper.filter

this is enough to close #15