romper

n : (usually plural) a one-piece garment for children; the lower

part is shaped like bloomers

PROSPER

["PROSPER: A Language for Specification by Prototyping", J.

Leszczylowski, Comp Langs 14(3):165-180 (1989)].