Update notes; add checks for boolean type to true/false assertions