add some type definitions