fix cil semantics + prove 16 bit integer sum

@andreistefanescu please review