Add some type annotations to check.fsx.