Specialize Value types and make Value more type safe.

Saves memory by removing an extra layer of boxing for primitive
values.

Test: m ahat-test

Change-Id: I9d96d8ff0bd55cbeaa7ce51700133aca9f43621b
4 files changed