Add Bool type, fix one example program to match grammar