Test the type-checker on valid input.