add two coq2048 files (one with peano, one with Nat). (i didn't write them!) also start reading code & adding notes