TBC cannot export a IFC yet.
He wants to take it to GET supported--
Look at the tools available in the ANZ toolbox. You create simple 3d solids and export as IFC.
https://tbcanz.com/anz-toolbox/