trivial white space changes
Added class util.Relation
Some small improvements
encodings testing
trivial formatting changes