start updating toBytecodeProofsTheory

extend the statement of compile_val for the case when a timeout is
raised. haven't touched proof yet.
work on compile_val

first four cases done
another case of compile_val

the one for (in effect) re-raising timeout exceptions