add tests for Types.