Documentation for UI specification language
Progress on UIs.