* The program is still pretty much typeless. Some attempt has been
made to introduce semantic types, but the job is barely started.
* The program is still pretty much typeless. Some attempt has been
made to introduce semantic types, but the job is barely started.