The Habit language, being developed at Portland State (by my colleagues -- I'm a grad student there) falls into the category you're looking for, though the implementation is still under development:

http://hasp.cs.pdx.edu/habit-report-Nov2010.pdf (sorry, no non-PDF documentation)

There was an LtU thread as well:

http://lambda-the-ultimate.org/node/4205