Is There Anything Particular Going on in the Surface Language of Types?

In the surface language of airlock, you cannot specify what you expect for processes to receive or to send. They are not supported in any way in the surface. For this reason, we made this design choice. We have small things to polish here and there. Some of our users, they want more expressivity with types. But I would say it provokes a lot of different discussions,. So you have internal people going, can you just add more, more sort of expressive types or a line that'd be great. Thanks.