compiler to Lazy K (in progress)