172. 整数相乘

本挑战延续自 171. 整数相加，建议先完成该题目，然后根据其修改代码以开始本挑战。

实现一个类型 Multiply<A, B>，将两个非负整数相乘，并返回它们的积的字符串形式。数字可以通过字符串、数字或 bigint 表示。

例如：

type T0 = Multiply<2, 3> // expected to be '6'
type T1 = Multiply<3, '5'> // expected to be '15'
type T2 = Multiply<'4', 10> // expected to be '40'
type T3 = Multiply<0, 16> // expected to be '0'
type T4 = Multiply<'13', '21'> // expected to be '273'
type T5 = Multiply<'43423', 321543n> // expected to be '13962361689'