try incremental type checking
direct type checking