#x:type  #.name (#x:formal) {
  #x:expand-statement }
