Converts TypeScript definition files to PureScript extern files