If X like I|F then
 ...
;

If F is Const then
 ...
;

If R is not Record then
 ...
;

If S is GeometricShape then
 ...
;