A syntax extension for importing declarations from interface files
