OK, I have a ton of WIP on bounded vars, but there’s one last bug to work out that will require more refactoring than I’m comfortable with without committing beforehand. Hence, this branch.
Alright, bug seems fixed.