I heard a reference to a language like this was suggested as a research idea.  I didnt write it down in time and I really want to read about it,  Can you(anyone) help me figure out which language this was.  I remember the main thing about it was that it was untyped.  I am not 100% that you said it was functional or imperative.  Thanks a ton.