Metalevel rationality is also referred to as Type II rationality. It is the ability to pick an optimal combination of computation-sequence-plus-action, under the constraint that the action needs to be picked by the computation.