INFER BOUNDS
- Working draft of the new bounds inference interface.