Ada done (kind of)

Well, I have something that resembles a static type checker right now. I'll take a break now, and revisit my work at some point later to flesh it out. In my defense, I ran into a couple compiler bugs in GNAT that slowed me down as I rooted out the code that triggered them (one time it was a repeated declaration, another was something that I was about to replace anyways). I don't even have enough capabilities to test it properly right now -- I need to allow declarations of functions in order to do interesting things, and I should also read some predefined functions from a file, since there will be magic functions that create the POV-Ray scene elements in the first place.

But I think it works mostly. The code came out pretty smoothly, despite a few restructurings of certain parts of the code.

Why doesn't Ada 95 have some kind of runtime-variable-sized container as part of its default library? Even FP has that! I had to roll my own linked lists, because specifying a generic list from the Ada 2005 just wouldn't work.