added the support for the CONS primitive