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