Allow fix to bind a single parameter
Split Y-combinator from its original value context
Recognize fixpoint when unparsing syntax-0