Completed CallableInferenceCollector.finish_program

- Did some changes in type inference to account for some changes due to
minor interfacial changes in CallableInferenceCollector
- Type inference works for simple program