My Questions are about types:
1 - Is there a schema of the Verse language, such as BNF notation? If not, are there any plans to provide one?
2 - Is “specifier” a reserved word or an object? If it’s an object, will users be able to define it in the future?
3 - Are “true” and “false” types themselves? (Is the logic type a composite type of true type and false type?)
4 - Is the “false” that can be set as the initial value for an option type the same as the false of the logic type?