Basic use of type intervals for propagators seems to be working.