* Add ranges in STATE blocks of the form FROM ... TO ...
* Unit test for the above
* Add type check for <..., ...> ranges
* Add units in procedure argument lists
* Unit test for the above.