Grinding away at this some more. I've ditched the Pointer type, and now I'm working on native function calls. There's probably going to be some awkwardness there because I haven't really implemented the boxed value types yet (I've got basic implementations of some of them), but the next priority to getting them set up is getting the "evaluation stack" implemented.
I'm not sure I have much to say on that. I basically just did what I described yesterday, and that stuff seems to work.
And maybe I can't think of anything to say because it's kind of hard to focus when I hang out with my in-laws for extended periods. I'll be happy to get back home tomorrow.