A simple language featuring only integers and the addition operator