Added boolean and null symbols, and example