Added some comments

Also added some code so that if a variable on the lefthand side of the
equation hasn't been seen before it gets added to the symbol table