Add programs file to test for type inference
Add compiled Programs file