Set-Type Belief Propagation with Applications to Mapping, MTT, SLAM, and SLAT