Implicit Programming and Formal Pragmatics