Added in vclock types
Ported and typespec'd data struct fields
Macroed our logging messages (previously in a consolidated module)