Removed unused declaration
Added CONS family of operations, refactor