I don't use a quarry direct just merchants and in our area they have four types of sand in each depot..
.red building
.yellow building
.sharp sand/washed sand
.plastering sand,gibbons
I have always assumed that plastering sand is a fine washed sharp sand due to the coarse particle shape.
I think different areas have many different names for them