[spec] Make specs more explicit.
[widget] Add short form widget declaration.