Towards the implementation of the array BIFs (car, cdr)
Implemented car and cdr.
Unified BIF evaluation.
Implemented if expression.