changing value cons/car/cdr to be functions for type checking, created lcar and lcdr for lvalue usages