declare new types