That's really cool, I've been interested in using a constraint solver to solve some unrelated problems, but not considered doing it for UI.

One problem I see is that much modern UI is being done on mobile devices, including the ipod which afaik have licenses that are incompatible with the LGPL, and there doesn't seem to be a more liberally licensed constraint solver.