Refactored code; corrected the wrong definition of the U combinator
Reimplemented normalization semantics and implmented reduction semantics
Implemented a common framework for different combinator sets
Reimplemented SK on top of the framework
Replemented TWICE on top of the framework
Reorganized files
Synchronized module names
Moved the definition of LC terms into the root directory