Remove TABs from examples
Enable Lambek grammars by default.
Added Lambek Calculus formalization into HOL example, under `formal-languages`.