17.2.7 Static aspect on intrinsic functions

The Ada 202x Static aspect can be specified on Intrinsic imported functions and the compiler will evaluate some of these intrinsics statically, in particular the Shift_Left and Shift_Right intrinsics.