Ignore SublimeText project files
More advanced betaConv stub. Monadic betaEq.
Beta-conversion, monadic beta-equality
Code style
LambdaP testing module
One module to import all LambdaP