type hinting dataframes for static analysis and runtime validation 3dedd2df481d