Abaqus has wedge elements for some transitions. Pyramid elements are supported by the solver but not by the GUI (Abaqus/CAE) so they would have to be generated in external mesher.
If incompatible element shapes are assigned for contacting regions, Abaqus shows a warning and creates tie constraints internally.