The Recursive Enumerability of Fixed-Point Combinators [pdf]