A few type declarations