new types and their tests