Implemented the shading transfer algorithm.
Implemented the copy shading inference rule with instructions.
Implemented the conjunction elimination rule.
Implemented the conjunction erase contours rule.