A Zoo of HeyVL Examples

This page still needs to be written.

For now, we refer you to Caesar's tests and the pGCL examples. The original pGCL files are found in the caesar/pgcl/examples directory and the automatically translated HeyVL files are in caesar/pgcl/examples-heyvl.