On reflections and three space properties of semi(para)topological groups

(*) all compact (resp., countably compact, sequentially compact) subsets are Hausdorff and strongly Fréchet (strictly Fréchet).