prettified resolve output, added functionality to list formats, and included tests for both fxns
Merge branch 'emhart-master'