On programming : an interim report on the SETL Project