Added support for Question 5

Type inference with unannotated functions