Lobsters: Uniqueness for Behavioural Types