Add a bunch of tests for error checking type conversions
Add test for foldNamed and beef up existing tests