As discussed with Denny, Cory, and Ori, it would be good to try to write down the evaluation and validation rules of the Wikifunctions model. This would clarify the intended meaning of the language and provide us with a reference to which we can compare our implementation for correctness. It would also uncover potential problems in the model, and help us determine whether the model fits the requirements of WF and Abstract Wikipedia.