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