I can't really advise on importing SAT or geometry (I don't know enough about archicad).
If possible, you can define the IFC file using constructive solid geometry. Graphisoft have implemented many of these. So if you can define your base shape as an extrusion and then cut voids/openings out of it, you might be able to achieve something as you desire. Note my gh plugin converts the nurbs to a polycurve of arcs (to rhino document tolerance).
GH Definition
http://geometrygym.wikidot.com/local--files/ifc/130825%20extruded%20wall%20with%20opening.gh
Sample
http://geometrygym.wikidot.com/local--files/ifc/130825%20extruded%20wall%20with%20opening.ifc
Rhino itself doesn't store the explicit history on a brep (polysurface) with the sequence of modelling steps to create it. It only stores the resulting nurbs faces and trims. IFC4 has advanced breps (similar to SAT or DWG) with nurbs faces, but I don't know if Graphisoft intend to implement this when they release their IFC4 importer.
I hope it helps a little,
Jon