Starting to type check if-else statements