Datatype

A generic widget, allowing specification of both the subsite and master
site datatypes. This is basically a large WriterT stack keeping track of
dependencies along with a StateT to track unique identifiers.