Yes there is a Verse BNF - we probably just need to clean it up and remove the future plans from what is currently present before we can put it online in the Verse documentation.
Technically yes - they are separate types in Verse. One of the hints is that true and false are both lowercase like other Verse type name conventions. They aren’t indicated that way in the docs currently though the typing in Verse is quite sophisticated and as this becomes more feature complete the docs will better reflect the Verse type theory.
Yes.