let record_type_of_list l = tySem_of_list (List.map ty_of_sbt l)