First concept for type declarations