Support void span
Adding bound to the symbol
Reverse the order of lamda
Bound lambda calculus with variable correctly
Preprocess lambda so beta reduction will not be ambiguous
Adding logic form output in the alignment generator
Support bare rule
Some fixes
Fixed indentation and some fixes