Add failing tests for p83.
Add vertices and edges methods to graph objects.

Also add graph-expression-form-p and ajdacency-list-form-p predicates.