Updates mailing list link, fixes[?] MIT license name in readme.
Renames stahlos repo to stahl.
Adds links to README.md.
Writes out the types of the generic eliminator builtins.
Data and Con.
fleshes out synthesize
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.
eliminator-based synthesize
Negation, some better errors, some theorems.
Function extensionality!

There's not really a useful way to induct over fixnums...
Builtins, specifically +/FIXNUM
sorts symbols before printing in main