Add some more type tests