added missing type helper functions, fixed regression in execution model propogation