> Null is also the absence of a value altogether.

In digital logic, there is no such thing as an "absence of a value". Everything must be represented as bits one way or another. Computers can certainly represent higher level concepts like an "absence of value", but at the lowest levels, they must be represented by some bit-stream. Types are generally the way that higher level concepts can be translated from low-level bitstreams.