make the initial compiler state contain the mapping for the tuple constructor

this saves adding it on every time a declaration is compiled, and also
should make the proofs more uniform.
prove Dlet case of compile_dec_val