Removed intensional interfaces, DFIs are now the only way to do separate compilation.