checkpointing first skeletal impl of struct VisitValue
checkpointing more VisitValue impl