a mason is a type of tradesman.