SetLevels: Fix potential panic in lvlBind
As noted in !1515 (comment 217011) the previous implementation may panic in the presence of levity polymorphism. Fix this.
As noted in !1515 (comment 217011) the previous implementation may panic in the presence of levity polymorphism. Fix this.