Add basic ++, --, and peano+ procedures