Add a filter function for integer_sequences
Summary
Integer sequences are frequently used in static forEach loops. Sometimes, not all integer in the range [0,n) should be visited. This MR adds filter capabilities to these sequences, similar to the python filter function but at compiletime.