== CIVL IR ==

Language principles:
* CIVL-IR is a subset of CIVL-C.  A CIVL-IR program is a CIVL-C program, and has the same semantics.


Types:
* `$int` : mathematical integers
* `$real` : mathematical reals