Tighted up expressions and removed weiner_index from default graph invariants. This fixes #9