Changed type of Omega-Tree leaf from #f to Omega-Leaf