Stav dette: A data definition facility for programming languages /