Add some type-failing tests