Type checker now returns reduced program