Presberger arithmetic

Introduction

Addition

Just addition, no multiplication.