Export given syntax is not up to date

[nicolasstucki]

Now the syntax is

export foo.given
export foo.{_, given}

The rules should be similar to the import given.

[nicolasstucki]

The old rule syntax should not be supported as it was removed before 3.0.0

export given foo._