Implement filters on push arrays, fixes #85