add some cakeml_compset things for structure declarations