+ bool type, + true and false definitions