WIP -- fix printing of higher-ranked traits, add a test for higher-ranked supertraits
WIP -- add another test
WIP -- fix pretty printing