renamed GiottoProgram -> Program