Add some type declarations