basedmypy. Based Python static type checker with baseline, sane default settings and based typing features