Many of
these ideas were implemented in my earlier experimental
language Q -- see P. Bothner:
Efficiently Combining Logical Constraints with Functions.
PhD thesis, Department of Computer Science, Stanford University, 1988 and
ftp://ftp.cygnus.com/pub/bothner/Q/.