Reorganized b2llvm_1.thy and b2llvm_2.thy.
Improved modeling of LLVM data layout, type system and B concrete types.