Some new type tests