type Grayscale_Image is array (Positive range <>, Positive range <>) of Luminance;