Fix definition of `=`
Add a test for recursive factorial using the Y-combinator