Experiments in Implicit Programming