Fix bug in GV type checker; implement Peano numbers in GV.  Not sure how
to test them, tho.
Sketch translation from muCP to muGV.