Type Button
  method push
  method release
  
Type TextBox
  data text
  method setText(t)
    text = t
    
Model Widgets
  type Button
  type TextBox
  
Model