Module Immediate.Identifiable

module type S_not_binable = sig ... end

Much as Core.Identifiable.S models string-like things without exposing unwanted String.t type equalities, this models the same for Immediate.String.