Updated design notes and renamed PrettyBracketed to PrettyBlock.