Arch: More work on the IFC exporter