PROGRAM DEFINITION AND PROPOSAL TYPES