proper type definitions for Google closure compiler