implemented parser of lambda terms, refactoring (split code into modules)
usage updated