define the inferred type of control structure variables