Added program and label datatypes. Started with Monotonic Framework
representation.