fsharp: step 2: Eval tests pass. Still need to polish things up.