remove Bind and Div from initial compiler state contab

use this to make progress on initial_invariant, however it looks like
will want to use some env_rs preservation property of compile_top, if
possible, rather than computing this out manually. the question is
whether the semantics can produce the initial environment starting from
an empty environment...