type_of_constant_type seems unneeded