change compiler's initial next-constructor-number

It was 3 because I was afraid of Bind and Div... I'm curious whether it
actually makes a difference...
prove the initial invariant