Where can I find an example of a meaningful program written in SETL?
Not sure if they are that meningful, but I have a collection of SETL programs here: http://www.hakank.org/setl/ (My SETL page).
The page also includes some SetlX programs.