I do want this language to be for people, but having keywords definable by the user bumps up against people on both ends. I think you are right that there may

I do want this language to be for people, but having keywords definable by the user bumps up against people on both ends. I think you are right that there may not really be dealbreakers, just compromises. I'm trying to think of ways to reduce the forward declarations without needing more than one pass. As of right now, I have ideas for not needing forward declarations for types and for variables. But mutually recursive functions still do need forward declarations. I don't think there will be many of those, and I'm wondering if that is good enough. What do you think?