Intuitionistic hybrid logic: Introduction and survey