Time predicate constructors
Takes n
cycles of f
-1 is the first element in the past 0 is the first element in the future
Like takeNth
, but takes the nth cyclic predicate after basePred
Assumes the grain of pred1
is smaller than the one of pred2