Add *exactly* compatible size computations via TInstance.