Replace @export_type with @typep