Added Program and Execution types to high level.
Now high level does not use mid-level types anymore to provide result.