typings generation