An unparam signature describes a module/parameter combo that needs to be created.
This is a product type introduced by defprod.
Note on the final-params: These are relative to the scope of some instantiating module. That doesn't matter for value parameters, because they must all be resolved to literal expressions anyway. Type parameters should be resolved such that the usertype names are vestigial and the relevant definition for each usertype is stored in the res field.