section ‹Optics Meta-Theory› theory Optics imports Lenses Prisms Scenes Scene_Spaces Dataspace Channel_Type begin end