Type-safety audit for .NET codebases. Finds "naked" primitives used as identifiers instead of Strongly Typed IDs and Value Objects, and primitives passed across layer boundaries.
