camkes: Add some generated proofs about generated bitfield code.
camkes: Add WP lemmas for the remaining types_gen functions.
lib: Add some misc helper lemmas.