BQN implementation notes

Notes about how BQN is implemented. There's not too much here yet.

I have also held some forum discussions on the actual workings of the compiler, but aborted these because the interactive format wasn't doing too much. I haven't yet started on non-interactive replacements.