refiner
Webster 1828
REFI'NER, noun 1. One that refines metals or other things.2. An improver in purity and elegance; as a refiner of language.3. An inventor of superfluous subtilities; one is who over nice in discrimination, in argument, reasoning, philosophy, etc