Begin generating constraints for whole programs. Need to perform
dependency sort within let-expressions for things to work properly though.