Ty: A fast Python type checker and language server