More thorough implementation and documentation of `null`