use the pres compiler .toString on Type

This handles complicated types with refinements a lot better, e.g. in shapeless. (thanks to @milessabin for spotting this.)