Add documentation for graph construction utilities.
Add more documentation to graph manifestation methods.
Add stub for vertex polarity deduction.

The `deducePolarity` function needs to be able to analyze a complete
constraint set, and determine the preferred polarities for each variable
in the constraint set.
Add initial filtering of function constraints.