more on lambda cube and start of fixed point combinator