Updates mailing list link, fixes[?] MIT license name in readme.
Renames stahlos repo to stahl.
Writes out the types of the generic eliminator builtins.
Like, half of %ELIM/DESC.
I think I'll just build in %DESC/SYNTHESIZE instead, since I sorta need
to in order to write the type of DATA.
Negation, some better errors, some theorems.
There's not really a useful way to induct over fixnums...
Builtins, specifically +/FIXNUM
sorts symbols before printing in main