Working on getting this whole Expression/Variable/VariableReference debocale figured out. Basically, we have variables which are the fundamental units of an Expression. However, they themselves can be treated as an Expression, at least it would simplify the code for an Expression if it were oblivious to the fact that its operand is a Variable or an Expression. It simply tells the operator to operate on them. In that respect, everything makes sense, but implementing it is a different story.