Verse - Bug about "false type"

[OB1_canbeno]

I would think that someone in the Reasonable Names department would see that:

1. The bottom type could simply be “bottom”, and
2. Having a value and a type with the same name (false and false!) would lead to confusion and is unnecessary.

André