[Charon] Fix init order by sorting mem-var accordingly
[Charon] remove unnecessary typedefs from DataBoxes