Added boolean special cases for type-tag and contents functions
Added SICP exercise 2.87