more cil-syntax.k cil-common.k and part of cil-typing.k translated