Restructured, cleaned up, attempted to make references to nodes, definitions, functions, and programs consistent.