SMS: Behavioural types :