A collection of utilities and widgets for Incr_dom applications. Note that this library is in the process of being reorganized, and much of its present functionality will be moved out to other libraries. Longer term, we expect this to contain easy to use wrappers of simple elements like buttons and text entry boxes.