Companion

Copy the first 8 bytes of the given term as a comparable unsigned long. In case the term has less than 8 bytes, missing bytes will be replaced with zeroes. Note that two terms that produce the same long could still be different due to the fact that missing bytes are replaced with zeroes, e.g. [1, 0] and [1] get mapped to the same long.