fixpoint for LetRec now passes typechecking
running example with recursion (fibonacci numbers)