rasp: a coarse file with sharp pointed projections
file: a steel hand tool with small sharp teeth on some or all of its surfaces; used for smoothing wood or metal
box pleat: a flat double pleat made by folding under the fabric on either side of it