Bug(Parser): spaces are not allowed when declaring universe variables

This code works:

» def transport_type.{u,v} := Prop
✓ 

But this one doesn't:

» def transport_type.{u, v} := Prop
✗     ^----------------^
✗ expected variable

added Good first issue Parser bug labels

changed the description

created branch 84-bug-parser-spaces-are-not-allowed-when-declaring-universe-variables to address this issue

mentioned in merge request !77 (merged)

assigned to @eman

created branch 84-bug-parser-spaces-are-not-allowed-when-declaring-universe-variables-2 to address this issue

mentioned in merge request !79 (closed)

closed with merge request !77 (merged)

mentioned in commit f8dba08a