Cleaner PR

prettified resolve output, added functionality to list formats, and included tests for both fxns