Added typing rules for control flow statements.