More robustness in using the AST deltas (always typecheck everything)
Limit the structure-aware incremental build optim to binary generation