Refactor cdr operator
Refactor cons operator
Unify variables names
Refactor cond operator
Typos