Add a test to make sure types are being checked