Artifact Categorization and the Modal Theory of Artifact Function