Harness status: OK

Found 7 tests

7 Fail
Fail	Multiplying two types with different non-null percent hints throws TypeError
Fail	Multiplying two types with same base types adds exponents
Fail	Multiplying two types with different base types adds exponents
Fail	Multiplying two types respects the sign of the exponents
Fail	Multiplying a type with no exponents is a no-op
Fail	Multiplying a type with percent hint applies the percent hint
Fail	Multiplying two types with same percent hint applies the percent hint