Add boolean type and various spec fixes / comments