add the types part to make_cs_assums