Vector Clock Happens-Before Isomorphism

Tested with Agda 2.6.2, Agda standard library 1.7.

The isomorphism proof can be found here.