Fixed minor typos and performed a small experiment to not call propagators as aggresivly
Add Section 3 interval example based on most of the code from Section 2