The fine-grained metaphysics of artifactual and biological functional kinds