rm KrateSet
rm KrateSet
refactor type deduction
clean deps for pretty.hs
refactor unfolding multiple outputs