(- re api) Store unboxed JavaScript strings in Labels
(- new api) Implement recursive Thing.construct