How do I overlay a BIM (IFC) model with a point cloud

BIM IFC files (and other formats, see supported formats) can be imported as a 3D Model dataset.

See Adding/Uploading a Spatial Dataset to a Point Cloud Project for a complete guide on how to upload a new dataset, although the Type should be set as 3D Model instead of Vector Data.