Library for checking inferred types of values for testing - View it on GitHub