Better comments
Improved stream helper for vectors
Add method to determine whether a pbc can be represented as a single clause
Use isClause method