Port some of the type tests.
They aren't finished yet.