Adds braces, for a possible outline mode (collapsing debug output)
adds CYK example
adds GHC.Num.hs