Improve type inference for workflows defied from an interface

Improve type inference for workflows defied from an interface #835