Update flags/comments to be consistent with current hack typechecker