[dsl] Make it easy to get a widget's value.
[spec] Make specs more explicit.