Library for static type validation.