== 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
* `$float<e,f>` : IEEE floating-point numbers with e,f integer constants
* `_Bool`
* `$proc`
* `char`
* `$bundle`
* `$heap`
* `$range`
* `$domain`
* `enum tag`
* `struct tag`
* `union tag`
* `T[]`
* `T[n]` : do we want dependent types?