`TypeError` and the resulted `TypeResult` are huge

[asaites]

The TypeError enum is huge, mainly because Instruction is huge (~280 bytes), and so the TypeResult = TypeError<T, TypeError> is likewise huge, yet the T in question is almost always the empty tuple. We may see performance gains by boxing the TypeError (or otherwise reducing its size).