[BUG] Incomprehensible parse error in type annotations

[konnov]

I've forgotten that we have to use the tuple syntax:

\* @type: () => (Bool, Bool);
View1 ==
  <<x < 0, x > 0>>

The type parser spitted out something incomprehensible:

scala.MatchError: (List(Bool, Bool)~None) (of class scala.util.parsing.combinator.Parsers$$tilde)
	at at.forsyte.apalache.io.typecheck.parser.DefaultType1Parser$.$anonfun$typeExpr$5(DefaultType1Parser.scala:68)

[Kukovec]

I just ran this today, and the error message reads:

Parsing error in the type annotation: () => (Bool, Bool)
Typing input error: Parser error in type annotation of View1: '->' expected but ) found

@konnov do you still consider this incomprehensible? It doesn't outright say that you should use <<...>> in the type, but it's also not a scala exception.