Minimal subset of SLUL
======================

4 or 5 types:
* 31 bit integer type "int"
* bool
* string (or should this be a struct type? pros/cons...)
* struct (including Map, List, etc.)
* maybe enum?