Of course he did. Smart contracts had been floating around for a while. And that's why he included all those operators in the Bitcoin scripting language which then had to be disabled early on because their security & resource consumption were totally unpredictable.