add if0 construct to F1WAE (exercise 4.3.1)

allowing simple recursive functions