A Type can be constructed from a list of type_t.
Added '_' as a digit separator.
Full function definition.