Added comma operator. Had to remove lists.
Refactored empty lists of arguments.
minor modifications in basic/.
updated the other definitions with new definition for Exps and some restructuring.
Merge remote-tracking branch 'origin/comma-operator'