Package merkle implements proof verifications in binary merkle trees.

Package types implements a few types of the beacon chain for light client usage.