Support participant types
Treat actual parameter values as expressions