signatures -> type_signatures