Adds experimental IFC support and example; plus minor bugfixes