Skip trait typedef in extra header as its unnecessary