Update docs since timing constructs should use IVL_PQ and delta should always have low/high