Arithmetic Compactifications of Pel-Type Shimura Varieties door Kai-Wen Lan