df UPDatabase( 
    forms : Map( form_id : long -> controls : Set( long )),
    tabs  : Map( tab_id  : long -> tab_items : Set( long )),
    lists : Map( list_id : long -> fields : Set( long ))
   ) 
   = Record(
       groups 
       : Map(
           descr : string
           -> forms : Func( 
                        form : forms 
                        -> rect : rect,
                           controls : OrderedMap( 
                                        form.controls 
                                        -> rect : rect
                                      )
                      ),
              tabs  : Func( 
                        tab : tabs
                        -> position : rect,
                           tab_items : OrderedSet( tab.tab_items )
                      ),
              lists : Func( 
                        list : lists
                        -> fields : OrderedMap( list.fields -> Width : num )
                      )
         )
     )
 
df rect 
   = Record( x : long, y : long, Cx : long, Cy : long )