Move FunDef operations to DefOps