added type hints for dart2js