wip -- make ty-vars unify, fixing slices
wip -- workaround around `Trait:Trait`
wip