Di che tipo sono a, b e true, false?