Move ~a and ~v definitions to new format.rkt