Fixtype of input types.
This is a product type introduced by fty::defprod.
This is currently a wrapper of any type, but it may be more restricted in the future; thus, we introduce a separate fixtype for easier future change.
