Implemented ratio and bool types. Implemented generic 'constructor' for heap-allocated data. Implemented print function for cons cells.
Changed type 'cons' to formal name 'pair'