Type checker: Returning in else incorrectly flags the program as no tailing return statement

[Hugo Wangler]

For example the fibonacci example. No return outside if statements but the function will always return since it has an else statement.