Lower ver.bound on t-f-golden
Don't use + in tests
Let: add a test for recursive bindings
Test for list comprehensions
Test for arrow notation (but see #8)
Test case guards
Test function binding guards