Generate constraints (somewhat poorly) for width subtyping.