Type errors, test for them.