Are there any tools out there to help programmers that REALLY want type safety and the more stringent r