Introducing typed conditions