Uniqueness for Behavioural Types