added Y combinators to the core
removed some commented code
started the overlay module