Syntax table for expressions. Gentler introduction in the tutorial. Documentation of planned changes in exporting `Num` and `Bool` types.