Paul Stansifer

I think I can get rid of the make-the-parser-gensym-new-names and the `Named`-inside-`Named` issues by adding a new kind of beta that contains a literal `Ast` as the RHS (type) side....

Okay, the last remaining **really weird** thing is this `Unrepeat` type. Its purpose is to unpack a tuple, okay, but it can't be used on an explicit tuple: `Unrepeat` is...

Here's what an n-ary language implementation ought to look like (I haven't kept this up-to-date with `build_a_language.unseemly`, thought) [build_a_language_nary.unseemly](https://github.com/paulstansifer/unseemly/files/7023206/nary.txt)

There's no particular reason for them not to exist. Do you have a use for them? I'm curious, because my (probably inaccurate) mental model for how metaprogrammers work is that...

Hm, this one might be a little tricky. Should `(e (e x ...) ...)` also be accepted because it is transcribeable by duplicating the interior `e` for each `x`? I...

I think it might not be too much harder to be more generous (and might be easier, since it might require less plumbing). I think that (assuming the runtime handles...

I don't like that this adds numbers to the core language. But I think it's the only reasonable approach. I guess there's already numeric types, and `one` through `ten`, and...