additions to cakeml_compset for compiling datatype defs