Implemented function invocations
Cleaned code.
Implemented 'or' and 'and' statements.
Refactored fold algebra.