add export and interface refinements