Starting work on a BIGINT type

It has value semantics and will try to keep memory access to a minimum.
The binary operator API and assignment semantics will undergo some
change as the rvalue problem is tackled.

A first-run for addition is implemented in this commit.