Add "Static Typing" category to Schema

Schema seems to be as useful for imposing static type definitions as it is for validation of incoming data (and in fact, its roadmap lists deeper core.typed integration as an upcoming feature).