Steve, Are you saying that data is naturally untyped and that operations/functions are naturally typed (and that this typing of o/f's is unambiguous)? Mark